FStarLang / fstar-vscode-assistantLinks
An interactive mode for F* in VS Code
☆26Updated last week
Alternatives and similar repositories for fstar-vscode-assistant
Users that are interested in fstar-vscode-assistant are comparing it to the libraries listed below
Sorting:
- The Steel separation logic library for F*☆36Updated 2 weeks ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- A Deductive Verification Tool for OCaml Programs☆75Updated 2 months ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Reference compiler for c0☆38Updated this week
- A mechanisation of Wasm in Coq(Rocq)☆111Updated 3 weeks ago
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆60Updated 10 months ago
- A tool-agnostic formal specification language for OCaml.☆154Updated 2 weeks ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- An encyclopedia of proofs☆64Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆78Updated last week
- Fωμ type checker and compiler☆56Updated 2 years ago
- ☆44Updated 3 years ago
- A deterministic parser with fused lexing☆74Updated 2 years ago
- A mechanisation of Wasm in Isabelle.☆30Updated 2 weeks ago
- OCaml plus Jane Street extensions☆73Updated last year
- The Twelf Programming Language☆147Updated this week
- 🦅 VSCode extension for F* with IDE features☆16Updated 5 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- A minimal proof checker.☆77Updated last year
- Collection of Kind2 programs and proofs☆12Updated last year
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆57Updated 2 months ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆135Updated 2 weeks ago
- Gallina to Bedrock2 compilation toolkit☆65Updated 2 weeks ago
- Lean type-checker written in Scala.☆40Updated 3 years ago
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- 🦠 Reusable components based on algebraic effects☆51Updated 3 weeks ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆46Updated 3 years ago
- A verified compiler for a lazy functional language☆37Updated last week