shwestrick / smlfmt
A custom parser/auto-formatter for Standard ML
☆68Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for smlfmt
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- A deterministic parser with fused lexing☆71Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- Standard ML Parser Combinator Library☆15Updated 2 months ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- SML reference interpreter☆112Updated last year
- A verified compiler for a lazy functional language☆32Updated last month
- Coq plugin embedding elpi☆139Updated this week
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- A compiler for the gradually typed lambda calculus☆76Updated 3 years ago
- an implementation of stuck macros☆132Updated 3 weeks ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- The Flambda backend project for OCaml☆113Updated this week
- A mechanisation of Wasm in Coq☆95Updated 2 weeks ago
- Formalizations of Gradually Typed Languages in Agda☆54Updated last month
- Parallel ML compiler☆71Updated 4 years ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆45Updated 2 years ago
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- Implementation of the λΠ-calculus modulo rewriting☆200Updated this week
- The Makam Metalanguage☆194Updated last year
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 10 months ago