diku-dk / smlpkgLinks
Generic package manager for Standard ML libraries and programs
☆165Updated 4 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☆210Updated 2 weeks ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- A custom parser/auto-formatter for Standard ML☆77Updated 3 weeks ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- an implementation of stuck macros☆142Updated 2 months ago
- deployment for smlhelp page☆40Updated 2 months ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- An interactive theorem prover based on lambda-tree syntax☆95Updated 2 weeks ago
- Haskell + Lisp☆209Updated last year
- A continuation-based backtracking logic programming monad☆90Updated 6 months ago
- Web server infrastructure for Standard ML☆13Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Standard ML Parser Combinator Library☆16Updated 8 months ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Call Futhark programs from Standard ML☆10Updated 2 weeks ago
- Total Parser Combinators in Agda☆128Updated 2 years ago
- The adventures of a Haskell compiler☆226Updated 3 weeks ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 9 months ago
- SML reference interpreter☆116Updated 2 years ago
- A less devious proof assistant☆224Updated 2 years ago
- 😎TT☆228Updated last year
- 1ML prototype interpreter☆282Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆312Updated last week
- Experiment on how to bootstrap the OCaml compiler☆107Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- The People's Refinement Logic☆229Updated 2 years ago