Alternatives and similar repositories for VimFStar

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

• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 4 months ago
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆15Updated 5 years ago
• FStarLang / fstar-layer
  Spacemacs layer for fstar (wrapper for fstar-mode.el)
  ☆11Updated 5 years ago
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆78Updated 3 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆36Updated 2 months ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆145Updated last week
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆91Updated 4 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆51Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated last week
• ollef / rock
  Build system
  ☆131Updated this week
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆62Updated 3 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆153Updated this week
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆92Updated last month
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 7 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆46Updated 3 months ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆39Updated 2 months ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆49Updated 4 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago