ProjectSavanna / autoformatLinks
Standard ML autoformatter
☆15Updated 3 years ago
Alternatives and similar repositories for autoformat
Users that are interested in autoformat are comparing it to the libraries listed below
Sorting:
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A collection of SML utility modules that are useful for compiler writing.☆11Updated last month
- ☆55Updated 2 months ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- MetaML and MetaOCaml bibliography☆91Updated 6 months ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆44Updated last month
- The MLPolyR programming language, revived☆24Updated 4 years ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- Haskell implementation of the Edinburgh Logical Framework☆30Updated last month
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- A bare-bones LCF-style proof assistant☆24Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 2 months ago
- Standard ML Bindings for LLVM☆10Updated 10 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated 3 weeks ago