Alternatives and similar repositories for fstar-vscode-assistant

Users that are interested in fstar-vscode-assistant are comparing it to the libraries listed below

• FStarLang / steel
  The Steel separation logic library for F*
  ☆36Updated last month
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆16Updated 5 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆47Updated 5 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆151Updated last year
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆70Updated last year
• joehendrix / lean-crypto
  Cryptographic routines for the Lean 4 language
  ☆47Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated last year
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆77Updated 3 weeks ago
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆64Updated 2 weeks ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆38Updated 5 months ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆78Updated this week
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆49Updated last year
• leanprover / fp-lean
  Functional Programming in Lean
  ☆121Updated 3 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆101Updated 2 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆110Updated this week
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆37Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆177Updated last week
• standardml / twelf
  The Twelf Programming Language
  ☆143Updated this week
• leanprover / cslib
  A Lean library for Computer Science
  ☆169Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 5 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆64Updated this week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆30Updated 3 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆40Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆77Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆27Updated this week