FStarLang / VimFStar
A Vim mode for FStar
☆24Updated last year
Related projects ⓘ
Alternatives and complementary repositories for VimFStar
- 🦅 VSCode extension for F* with IDE features☆15Updated 4 years ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Updated 4 years ago
- Emacs support for F*☆67Updated 8 months ago
- A .NET Bridge for Haskell☆24Updated 8 years ago
- Collection of Idris snippets☆21Updated 8 months ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- An interpreter for the D3-level syntax of ATS3/Xanadu☆10Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 4 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 3 years ago
- Setting up an Idris dev environment on Windows☆16Updated 4 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 2 years ago
- Matita (proof assistant) with embedded elpi☆11Updated 6 years ago
- Program verification with F* course materials☆11Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A prototype programming language for programming with runners☆88Updated 3 years ago
- A verified compiler for a lazy functional language☆32Updated last month
- Experiment on how to bootstrap the OCaml compiler☆99Updated 2 years ago
- Pretty-print error messages of the ATS Compiler☆31Updated 5 years ago
- ☆51Updated this week
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Session types in Idris2!☆27Updated 3 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated last month
- Sokoban (in Coq) [maintainer=@erikmd]☆21Updated last year
- ☆15Updated 9 years ago
- Hoare Type Theory☆69Updated last month
- The Definition of Standard ML, Revised (1997)☆113Updated 7 years ago
- Formalising Type Theory in a modular way for translations between type theories☆90Updated 6 years ago
- LL(1) parser generator verified in Coq☆44Updated 4 years ago