FStarLang / atom-fstar
Syntax highlighting for F* in Atom Editor
☆11Updated 3 years ago
Alternatives and similar repositories for atom-fstar:
Users that are interested in atom-fstar are comparing it to the libraries listed below
- Session types in Idris2!☆27Updated 4 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Coq plugin for monomorphization and C code generation☆34Updated this week
- IO using sized types and copatterns☆33Updated 3 years ago
- An enhanced unification algorithm for Coq☆54Updated last month
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆34Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated 2 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Experimental functional language☆17Updated 2 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆45Updated last month
- OCaml back end for Idris☆22Updated 7 years ago
- Observational Type Theory as an Agda library☆52Updated 7 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 years ago
- Multiparty Session Types in OCaml☆59Updated 5 months ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Formalising Type Theory in a modular way for translations between type theories☆91Updated 7 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35Updated 7 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated this week
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last year
- An interpreter of F-ing modules☆18Updated 5 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- OCaml backend for Agda☆39Updated 6 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year