diku-dk / smlpkg
Generic package manager for Standard ML libraries and programs
☆161Updated last month
Related projects ⓘ
Alternatives and complementary repositories for smlpkg
- an implementation of stuck macros☆131Updated last week
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- Implementation of the λΠ-calculus modulo rewriting☆199Updated this week
- HTTP utility library for Standard ML☆11Updated last year
- Standard ML of New Jersey☆184Updated 2 weeks ago
- Web server infrastructure for Standard ML☆13Updated last year
- Proof assistant based on the λΠ-calculus modulo rewriting☆271Updated this week
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- A custom parser/auto-formatter for Standard ML☆68Updated 10 months ago
- ☆77Updated 2 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆365Updated last year
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- SML reference interpreter☆112Updated last year
- Contextual types meet mechanized metatheory!☆184Updated 3 months ago
- 😎TT☆218Updated last year
- Malfunctional Programming☆338Updated last month
- Compiling Agda code to readable Haskell☆176Updated last month
- The People's Refinement Logic☆227Updated last year
- Spartan type theory☆254Updated 5 months ago
- A proof assistant for general type theories☆297Updated 3 weeks ago
- Prototype type inference engine☆196Updated 3 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 3 years ago
- Formal verification for OCaml☆255Updated 3 months ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆204Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated 2 weeks ago
- 1ML prototype interpreter☆270Updated 4 years ago
- ☆104Updated last month
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- A function definition package for Coq☆223Updated 3 weeks ago
- Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.☆68Updated 6 months ago