biboudis / sml-streams
Streaming library for bulk memory operations with Standard ML in MLton
☆28Updated 9 years ago
Alternatives and similar repositories for sml-streams:
Users that are interested in sml-streams are comparing it to the libraries listed below
- A small implementation of type inference☆78Updated 9 years ago
- Tool for detecting bad style in Standard ML programs☆16Updated 5 years ago
- (the first half of) an ML compiler☆10Updated 10 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- SML On Stilts☆37Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 8 months ago
- SML hack day planning and coordination☆16Updated 13 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- My Own Linear Lisp☆38Updated 6 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- The PGG Partial Evaluation System for Scheme 48☆17Updated 12 years ago
- Logic for story telling!☆33Updated 6 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- microkanren in sml☆26Updated 9 years ago
- MLWorks is a Standard ML compiler and development environment.☆180Updated 6 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago
- Minimal SML-based web server☆14Updated 9 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Quickcheck Clone implemented in Racket☆31Updated 6 months ago