shwestrick / smlfmt
A custom parser/auto-formatter for Standard ML
☆75Updated 2 weeks ago
Alternatives and similar repositories for smlfmt:
Users that are interested in smlfmt are comparing it to the libraries listed below
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- A deterministic parser with fused lexing☆72Updated last year
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A verified compiler for a lazy functional language☆34Updated last month
- Useful things for Standard ML☆65Updated 5 months ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- Standard ML Parser Combinator Library☆15Updated 6 months ago
- SML reference interpreter☆112Updated last year
- an implementation of stuck macros☆139Updated last week
- The Twelf Programming Language☆121Updated last month
- Experiment on how to bootstrap the OCaml compiler☆104Updated 2 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆19Updated last month
- Playing with type systems☆49Updated 2 months ago
- Standard ML of New Jersey☆201Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆140Updated last month
- A stepping debugger for Standard ML (SML)☆25Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Staged compilation with dependent types☆169Updated 2 weeks ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆50Updated 3 weeks ago
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated this week
- A compiler for functional programs on serialized data☆158Updated this week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 11 months ago
- Demo for dependent types + runtime code generation☆67Updated last month
- Formalizations of Gradually Typed Languages in Agda☆57Updated last month
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago