Alternatives and similar repositories for VimFStar

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

• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 6 months ago
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆16Updated 5 years ago
• FStarLang / fstar-layer
  Spacemacs layer for fstar (wrapper for fstar-mode.el)
  ☆11Updated 5 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆51Updated last year
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆92Updated 4 years ago
• Mtac2 / Mtac2
  ☆56Updated last week
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆48Updated 6 months ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated 3 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 8 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆84Updated 7 months ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Updated last year
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• xgrommx / coq-ecosystem
  ☆42Updated 7 years ago
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆78Updated 3 years ago
• unicoq / unicoq
  An enhanced unification algorithm for Coq
  ☆58Updated last month
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆137Updated last month
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆47Updated 3 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated this week
• Deducteam / Dedukti
  Type-checker for the λΠ-calculus modulo rewriting
  ☆225Updated last month
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆59Updated last month
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆53Updated 2 years ago
• dlicata335 / hott-agda
  ☆86Updated 8 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated last month