Ravenbrook / mlworks
MLWorks is a Standard ML compiler and development environment.
☆180Updated 6 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☆38Updated 6 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 4 years ago
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- Poplog☆21Updated 14 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated this week
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Scheme on SECD☆43Updated 3 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 2 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- The Aldor Programming Language☆34Updated 2 weeks 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
- A port of sweet expressions to Racket☆47Updated last year
- The Mechanization of Standard ML☆72Updated 2 years ago
- Foment is an implementation of R7RS Scheme.☆67Updated 2 years ago
- A small implementation of type inference☆78Updated 9 years ago
- debian packaging of s9fes, Scheme 9 from Empty Space R4RS Scheme Interpreter☆28Updated 4 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 8 months ago
- The Definition of Standard ML, Revised (1997)☆113Updated 7 years ago
- Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/☆70Updated 7 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated 2 months ago
- Boolean Constraint Solving in Prolog☆38Updated last month
- Shen/Scheme implementation☆104Updated 5 months ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆26Updated 6 years ago
- A basic JSON parsing library for SML☆11Updated 9 years ago