biboudis / sml-streams
Streaming library for bulk memory operations with Standard ML in MLton
☆28Updated 10 years ago
Alternatives and similar repositories for sml-streams:
Users that are interested in sml-streams are comparing it to the libraries listed below
- (the first half of) an ML compiler☆10Updated 10 years ago
- Tool for detecting bad style in Standard ML programs☆16Updated 6 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- Logic for story telling!☆34Updated 7 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- A small implementation of type inference☆78Updated 9 years ago
- SML On Stilts☆37Updated 11 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- microkanren in sml☆26Updated 10 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago