diku-dk / smlpkg
Generic package manager for Standard ML libraries and programs
☆165Updated 2 months ago
Alternatives and similar repositories for smlpkg:
Users that are interested in smlpkg are comparing it to the libraries listed below
- Standard ML of New Jersey☆204Updated this week
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- an implementation of stuck macros☆139Updated 2 weeks ago
- A custom parser/auto-formatter for Standard ML☆75Updated 3 weeks ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Compiling Agda code to readable Haskell☆183Updated last week
- Spartan type theory☆262Updated 10 months ago
- The People's Refinement Logic☆229Updated 2 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆198Updated 7 months ago
- 😎TT☆225Updated last year
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Proof assistant based on the λΠ-calculus modulo rewriting☆315Updated this week
- Call Futhark programs from Standard ML☆10Updated 6 months ago
- Useful things for Standard ML☆65Updated 5 months ago
- 1ML prototype interpreter☆280Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆305Updated last week
- SML reference interpreter☆112Updated last year
- ☆83Updated 6 months ago
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- Implementation of the λΠ-calculus modulo rewriting☆206Updated 4 months ago
- The Makam Metalanguage☆198Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆608Updated last month
- Bootstrapping ATS3☆210Updated this week
- Scripts to compile and run Standard ML programs defined in .mlb files.☆15Updated 3 weeks ago
- Total Parser Combinators in Agda☆126Updated last year
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆375Updated last year
- Staged compilation with dependent types☆170Updated 3 weeks ago
- The adventures of a Haskell compiler☆223Updated 3 months ago
- The Twelf Programming Language☆121Updated last month