diku-dk / smlpkg
Generic package manager for Standard ML libraries and programs
☆165Updated 3 months ago
Alternatives and similar repositories for smlpkg:
Users that are interested in smlpkg are comparing it to the libraries listed below
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Standard ML of New Jersey☆206Updated last week
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆198Updated 8 months ago
- HTTP utility library for Standard ML☆11Updated last year
- Bootstrapping ATS3☆211Updated this week
- Standard ML Compiler and Toolkit☆284Updated 2 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆360Updated 3 months ago
- SML reference interpreter☆113Updated last year
- Web server infrastructure for Standard ML☆13Updated last year
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- 1ML prototype interpreter☆281Updated 4 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- an implementation of stuck macros☆139Updated last month
- Standard ML Parser Combinator Library☆16Updated 7 months ago
- Call Futhark programs from Standard ML☆10Updated 7 months ago
- An interactive theorem prover based on lambda-tree syntax☆94Updated 2 months ago
- A custom parser/auto-formatter for Standard ML☆76Updated last month
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- The Twelf Programming Language☆125Updated 2 months ago
- Malfunctional Programming☆346Updated 5 months ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 6 years ago
- 😎TT☆225Updated last year
- Useful things for Standard ML☆66Updated 6 months ago
- A "implementation" of Girard's paradox in OCaml☆106Updated 10 years ago
- Preprocessor / Pretty Printer for OCaml☆76Updated last week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- Embeddable Lambda Prolog Interpreter☆309Updated this week
- Plasma Programming Language☆166Updated this week