(the first half of) an ML compiler
☆10Sep 6, 2014Updated 12 years ago
Alternatives and similar repositories for maml
Users that are interested in maml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Signature documentation tool for Standard ML☆14Oct 4, 2023Updated 3 years ago
- Library for Standard ML☆54Feb 13, 2012Updated 14 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆28Mar 16, 2015Updated 11 years ago
- Network server programming with SML/NJ and CML -- MOVED TO: https://git.leastfixedpoint.com/tonyg/smlnj-networking☆11Jan 2, 2012Updated 14 years ago
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 15 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 7 years ago
- A Dependently Typed Programming Language☆28Jul 24, 2020Updated 6 years ago
- A small implementation of type inference☆80May 19, 2015Updated 11 years ago
- SML Parser Combinator Library☆28Apr 30, 2016Updated 10 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- Standard ML Grammar for Tree-sitter☆25Jan 14, 2022Updated 4 years ago
- ☆11Jul 20, 2016Updated 10 years ago
- A collection of SML utility modules that are useful for compiler writing.☆11Oct 18, 2026Updated 2 weeks ago
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- AVL+ tree☆12Feb 11, 2020Updated 6 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- A discouraging story.☆19May 8, 2018Updated 8 years ago
- A basic library of algorithms and data structures (a la NJlib)☆75Apr 1, 2025Updated last year
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 3 years ago
- Haskell geometry library☆17Aug 9, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.☆12Aug 24, 2014Updated 12 years ago
- Agda code for experimenting with internal models of cubical type theory☆16Apr 3, 2018Updated 8 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- Ruby implementation of Communicating Sequential Processes☆13Feb 2, 2010Updated 16 years ago
- Dependent Lens FRP and concurrent model in Agda☆12Sep 19, 2026Updated last month
- A statically-typed programming language based on "F-ing modules"☆82Jul 25, 2020Updated 6 years ago
- A thicker variant of Latin Modern Roman☆15Jun 6, 2025Updated last year
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- Notes about future events and planning☆10Aug 26, 2014Updated 12 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 9 years ago
- SML On Stilts☆37Feb 6, 2014Updated 12 years ago
- 👹 A library for hierarchical names and lexical scoping☆28Jun 19, 2026Updated 4 months ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆78Mar 5, 2022Updated 4 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago