Projects in Awesome Lists by kfl
A curated list of projects in awesome lists by kfl .
https://github.com/kfl/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
compiler programming-language standard-ml
Last synced: 09 Feb 2026
https://github.com/kfl/wpp
A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
Last synced: 21 Feb 2026
https://github.com/kfl/webserver-functor
Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.
Last synced: 30 Jan 2026
https://github.com/kfl/staffeli_nt
Staffeli NT Technology
canvas-lms-api hacktoberfest python
Last synced: 15 Oct 2025
https://github.com/kfl/american-options
Emperiments with algorithms for pricing American Options
Last synced: 13 Apr 2025
https://github.com/kfl/quickcheck-c-interface
Example code demonstrating how to use QuickCheck for Erlang to test C code
Last synced: 22 Aug 2025
https://github.com/kfl/smlsqlite
smlsqlite is a binding of SQLite for Moscow ML and MLton
moscow-ml mosml sml sqlite standard-ml
Last synced: 17 May 2026
https://github.com/kfl/muddy
MuDDy is a ML interface to the Binary Decision Diagrams package BuDDy
Last synced: 26 Mar 2025
https://github.com/kfl/prog-contest-diku
Scratchpad for people interested in programming contests at DIKU
Last synced: 06 Feb 2026
https://github.com/kfl/quickcheck-erlang
Example code demonstrating how to use QuickCheck for Erlang
Last synced: 26 Mar 2025
https://github.com/kfl/datalog-experiments
Experimental datalog/prolog implementation
Last synced: 26 Mar 2025
https://github.com/kfl/bigish
Example code working with bigish data in the browser. Using crossfilter and other libraries.
Last synced: 12 Oct 2025
https://github.com/kfl/simpleparse
Simple to understand parser combinator library
Last synced: 14 Jul 2025
https://github.com/kfl/mmage
Simple image library with functional interface for Moscow ML. Based on SDL2.
Last synced: 06 Jan 2026
https://github.com/kfl/readbits
Example of how to read binary data with Haskell
Last synced: 26 Mar 2025
https://github.com/kfl/simple-ad
SML Implementation of Automatic Differentiation
automatic-differentiation sml symbolic-differentiation symbolic-manipulation
Last synced: 03 Feb 2026
https://github.com/kfl/ebpf-cfg
Starter code for working with a CFG for eBPF
Last synced: 26 Oct 2025
https://github.com/kfl/wasm-experiments
Small WebAssembly snippet and some notes
binaryen wabt wasm webassembly
Last synced: 06 May 2026