Alternatives and similar repositories for VimFStar

Users that are interested in VimFStar are comparing it to the libraries listed below

• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆16Updated 5 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 7 months ago
• FStarLang / fstar-layer
  Spacemacs layer for fstar (wrapper for fstar-mode.el)
  ☆11Updated 5 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆70Updated 9 months ago
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆92Updated 4 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆49Updated 6 years ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆51Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆39Updated last week
• Mtac2 / Mtac2
  ☆56Updated last week
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 4 months ago
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆38Updated last year
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Updated last year
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 8 years ago
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆53Updated 2 years ago
• kfl / wpp
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104Updated 8 months ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆68Updated 2 years ago
• ocaml-multicore / multicore-opam
  OPAM repo for OCaml multicore development
  ☆51Updated 4 years ago
• nuscr / nuscr
  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
  ☆29Updated 3 months ago
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆78Updated 3 years ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆50Updated 2 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆110Updated last month
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated last year
• standardml / twelf
  The Twelf Programming Language
  ☆150Updated 3 weeks ago
• imdea-software / htt
  Hoare Type Theory
  ☆84Updated 8 months ago
• xgrommx / coq-ecosystem
  ☆42Updated 7 years ago