diku-dk / smlpkgLinks
Generic package manager for Standard ML libraries and programs
☆165Updated 5 months ago
Alternatives and similar repositories for smlpkg
Users that are interested in smlpkg are comparing it to the libraries listed below
Sorting:
- an implementation of stuck macros☆142Updated last week
- HTTP utility library for Standard ML☆11Updated last year
- SML reference interpreter☆116Updated 2 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- Standard ML of New Jersey☆210Updated last week
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 10 months ago
- Implementation of the λΠ-calculus modulo rewriting☆209Updated last month
- Call Futhark programs from Standard ML☆10Updated last month
- Embeddable Lambda Prolog Interpreter☆312Updated 3 weeks ago
- Standard ML Parser Combinator Library☆16Updated 9 months ago
- A custom parser/auto-formatter for Standard ML☆78Updated last month
- The People's Refinement Logic☆229Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆365Updated 2 weeks ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- Standard ML Compiler and Toolkit☆287Updated 4 months ago
- Useful things for Standard ML☆67Updated 8 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- The Twelf Programming Language☆136Updated 4 months ago
- A proof assistant for general type theories☆304Updated 8 months ago
- A function definition package for Coq☆232Updated 2 weeks ago
- Smackage Package Manager for Standard ML☆122Updated 3 years ago
- A compiler for functional programs on serialized data☆164Updated 2 weeks ago
- 😎TT☆228Updated last year
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- An interactive theorem prover based on lambda-tree syntax☆95Updated last month
- deployment for smlhelp page☆40Updated 2 weeks ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- Web server infrastructure for Standard ML☆13Updated last year