Ravenbrook / mlworksLinks
MLWorks is a Standard ML compiler and development environment.
☆181Updated 7 years ago
Alternatives and similar repositories for mlworks
Users that are interested in mlworks are comparing it to the libraries listed below
Sorting:
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆51Updated 4 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Poplog☆21Updated 14 years ago
- ☆32Updated 4 months ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Compiler for a tiny subset of the Scheme language.☆19Updated 8 years ago
- Scheme on SECD☆42Updated 4 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- The Delphin Project☆10Updated 8 years ago
- SML hack day planning and coordination☆16Updated 13 years ago
- The RScheme Revival Project☆33Updated 15 years ago
- An object-oriented dialect of Scheme☆59Updated 3 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Strongtalk VM☆102Updated 3 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated last week
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago