diku-dk / smlpkgLinks
Generic package manager for Standard ML libraries and programs
☆166Updated 7 months ago
Alternatives and similar repositories for smlpkg
Users that are interested in smlpkg are comparing it to the libraries listed below
Sorting:
- Standard ML of New Jersey☆219Updated this week
- SML reference interpreter☆116Updated last month
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆201Updated last year
- A custom parser/auto-formatter for Standard ML☆80Updated last month
- Smackage Package Manager for Standard ML☆123Updated 3 years ago
- an implementation of stuck macros☆145Updated this week
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- 1ML prototype interpreter☆287Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 3 years ago
- ☆138Updated 3 years ago
- Prototype type inference engine☆204Updated 7 months ago
- Bootstrapping ATS3☆226Updated this week
- Standard ML Compiler and Toolkit☆291Updated 3 weeks ago
- Useful things for Standard ML☆70Updated 11 months ago
- The Makam Metalanguage☆199Updated 2 years ago
- The Twelf Programming Language☆144Updated this week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆371Updated 3 months ago
- Implementation of the λΠ-calculus modulo rewriting☆213Updated 3 weeks ago
- Contextual types meet mechanized metatheory!☆199Updated last week
- Embeddable Lambda Prolog Interpreter☆325Updated this week
- Nanopass for OCaml☆147Updated 7 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆383Updated last year
- A less devious proof assistant☆226Updated 2 years ago
- Plasma Programming Language☆166Updated 4 months ago
- ML Basis for Poly/ML☆11Updated last week
- The adventures of a Haskell compiler☆231Updated 4 months ago
- Malfunctional Programming☆350Updated 10 months ago
- An interactive theorem prover based on lambda-tree syntax☆96Updated 4 months ago