hz7k-nzw / sicp-in-smlnj
This is a translation of source code from SICP into SML/NJ.
☆13Updated 14 years ago
Alternatives and similar repositories for sicp-in-smlnj:
Users that are interested in sicp-in-smlnj are comparing it to the libraries listed below
- Prolog implementation of microKanren☆43Updated 10 years ago
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- Useful things for Standard ML☆66Updated 6 months ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- SML hack day planning and coordination☆16Updated 13 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 4 years ago
- Standard ML Parser Combinator Library☆16Updated 7 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- A basic library of algorithms and data structures (a la NJlib)☆74Updated 3 weeks ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 2 months ago
- company-mode completion back-end for MLton/Standard ML☆14Updated 4 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago
- SML Parser Combinator Library☆28Updated 8 years ago
- Library for Standard ML☆55Updated 13 years ago
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆37Updated last week
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆25Updated 7 years ago
- HASKELL: Yale Haskell system written in Lisp☆98Updated 11 years ago
- Scripts to compile and run Standard ML programs defined in .mlb files.☆16Updated last month
- A port of sweet expressions to Racket☆48Updated 2 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆28Updated 10 years ago
- ☆28Updated 5 years ago