FStarLang / fstar-vscode-assistantLinks
An interactive mode for F* in VS Code
☆23Updated 2 weeks ago
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 last week
- Reference compiler for c0☆36Updated last month
- 🦅 VSCode extension for F* with IDE features☆15Updated 5 years ago
- ☆43Updated 3 years ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- A deterministic parser with fused lexing☆73Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A mechanisation of Wasm in Isabelle.☆27Updated this week
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆59Updated 6 months ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆87Updated last month
- Parser Combinator Library for Lean 4☆54Updated 2 weeks ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆28Updated 2 months ago
- EGraphs in OCaml☆66Updated last year
- OCamlPro public development repository for Alt-Ergo☆139Updated 3 weeks ago
- The Next Generation of Compositional Programming☆52Updated 3 weeks ago
- A tool-agnostic formal specification language for OCaml.☆144Updated last month
- A WebAssembly implementation in Lean4☆34Updated last year
- Coq library for verified low-level programming☆60Updated 8 years ago
- A mechanisation of Wasm in Coq(Rocq)☆106Updated 3 weeks ago
- 🦠 Reusable components based on algebraic effects☆51Updated 9 months ago
- Tool for compiling Lean to WASM☆19Updated last year
- 🌐 | HTTP primitives for Lean 4☆43Updated 8 months ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆54Updated last month
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆147Updated 9 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆109Updated this week
- The Twelf Programming Language☆137Updated 5 months ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 5 months ago