Ravenbrook / mlworks
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
- My Own Linear Lisp☆40Updated 6 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- Poplog☆21Updated 14 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆51Updated 4 years ago
- Scheme on SECD☆42Updated 4 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Nanopass scheme compiler in scheme for x86☆68Updated 8 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated last month
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- Compiler for a tiny subset of the Scheme language.☆19Updated 8 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- An object-oriented dialect of Scheme☆59Updated 3 years ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆57Updated 5 years ago
- Strongtalk VM☆102Updated 3 years ago
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 11 months ago
- ☆26Updated last month
- Le-Lisp by INRIA☆28Updated 2 years ago