There are no reviews yet. Be the first to send feedback to the community and the maintainers!
mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.wpp
A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.webserver-functor
Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.adventofcode_2021
Advent of Code, 2021adventofcode_2022
Advent of Code 2022staffeli_nt
Staffeli NT Technologymosml-js
Javascript backend for Moscow MLamerican-options
Emperiments with algorithms for pricing American Optionsonly_funs
trymosml
verified-monkey-island
quickcheck-c-interface
Example code demonstrating how to use QuickCheck for Erlang to test C codeebpf-tools
Experiments with eBPF bytecodemuddy
MuDDy is a ML interface to the Binary Decision Diagrams package BuDDysmlsqlite
smlsqlite is a binding of SQLite for Moscow ML and MLtonpure-prolog
Simple pure prolog interpreterquickcheck-erlang
Example code demonstrating how to use QuickCheck for Erlangfsc-wrap
Get fsc as a commandline programbigish
Example code working with bigish data in the browser. Using crossfilter and other libraries.Datalog-experiments
Experimental datalog/prolog implementationprog-contest-diku
Scratchpad for people interested in programming contests at DIKUmini-benchmark-game
adventofcode_2023
Advent of Code 2023miniprolog
Minimal (Pure) Prolog implementationgpsblyant
readbits
Example of how to read binary data with Haskellmmage
Simple image library with functional interface for Moscow ML. Based on SDL2.cloudhaskell-experiments
Love Open Source and this site? Check out how you can help us