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
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Scheme on SECD☆42Updated 4 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Poplog☆21Updated 14 years ago
- An object-oriented dialect of Scheme☆59Updated 3 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 4 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- Foment is an implementation of R7RS Scheme.☆67Updated 2 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Nanopass scheme compiler in scheme for x86☆68Updated 8 years ago
- debian packaging of s9fes, Scheme 9 from Empty Space R4RS Scheme Interpreter☆28Updated 4 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated last week
- The Mechanization of Standard ML☆72Updated 2 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Updated 9 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- ☆29Updated 9 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- A port of sweet expressions to Racket☆47Updated 2 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- The RScheme Revival Project☆33Updated 15 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆57Updated 5 years ago