diku-dk / smlpkg
Generic package manager for Standard ML libraries and programs
☆162Updated last month
Related projects ⓘ
Alternatives and complementary repositories for smlpkg
- an implementation of stuck macros☆132Updated 3 weeks ago
- Standard ML of New Jersey☆184Updated last week
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- Malfunctional Programming☆341Updated last week
- Bootstrapping ATS3☆197Updated last week
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- 1ML prototype interpreter☆270Updated 4 years ago
- An interactive theorem prover based on lambda-tree syntax☆90Updated this week
- SML reference interpreter☆112Updated last year
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- HTTP utility library for Standard ML☆11Updated last year
- PMPH course 2020 public repo☆12Updated 10 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated 3 weeks ago
- The official interpreter for the Jeopardy language☆16Updated last year
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- Haskell + Lisp☆206Updated 6 months ago
- A compiler for the gradually typed lambda calculus☆76Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- Standard ML Compiler and Toolkit☆277Updated this week
- 😎TT☆218Updated last year
- Prototype type inference engine☆197Updated 3 months ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- The Ott tool for writing definitions of programming languages and calculi☆349Updated 2 months ago
- Web server infrastructure for Standard ML☆13Updated last year
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- The People's Refinement Logic☆227Updated last year
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- ☆77Updated 2 months ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆204Updated 2 years ago
- A function definition package for Coq☆223Updated last week