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
  ☆15Updated 4 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last week
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆67Updated 2 weeks ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆90Updated 7 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 3 months ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated last year
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated 4 months ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆78Updated 7 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 8 months ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated last year
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆105Updated 9 years ago
• Mtac2 / Mtac2
  ☆52Updated 2 months ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆65Updated last year
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆12Updated 5 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated last week
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆34Updated last year
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆122Updated 8 months ago
• xgrommx / coq-ecosystem
  ☆42Updated 6 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆75Updated last month
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆81Updated 3 years ago
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 2 months ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆56Updated last month
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• coq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆42Updated last year
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated last month
• andrejbauer / andromeda
  A minimalist implementation of type theory, suitable for experimentation
  ☆15Updated 4 months ago