FStarLang / VimFStarLinks
A Vim mode for FStar
☆26Updated 2 years ago
Alternatives and similar repositories for VimFStar
Users that are interested in VimFStar are comparing it to the libraries listed below
Sorting:
- Emacs support for F*☆70Updated 2 months ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆51Updated 10 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A prototype programming language for programming with runners☆91Updated 4 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆67Updated 4 months ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- Vim mode for Idris 2☆77Updated 3 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆46Updated last month
- ☆55Updated 5 months ago
- A verified compiler for a lazy functional language☆37Updated this week
- The Twelf Programming Language☆143Updated 2 weeks ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- A custom parser/auto-formatter for Standard ML☆79Updated 3 weeks ago
- Preprocessor / Pretty Printer for OCaml☆76Updated last month
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- ☆42Updated 6 years ago
- Hoare Type Theory☆77Updated 2 months ago
- Parallel Programming in Futhark☆48Updated 3 weeks ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 5 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated last year
- The Candle theorem prover (fork of the HOL Light sources)☆15Updated last year
- Coq plugin for monomorphization and C code generation☆35Updated 2 weeks ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago