tnelson / ForgeLinks
Forge: A Tool and Language for Teaching Formal Methods
☆94Updated last week
Alternatives and similar repositories for Forge
Users that are interested in Forge are comparing it to the libraries listed below
Sorting:
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated 2 weeks ago
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- Slog 1.0☆46Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆119Updated last month
- A deterministic parser with fused lexing☆75Updated 2 years ago
- Reference compiler for c0☆38Updated 2 weeks ago
- The Next Generation of Compositional Programming☆55Updated last month
- ☆37Updated last year
- Mystery Languages☆41Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- Language based on Rewriting Logic☆154Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- A mechanisation of Wasm in Coq(Rocq)☆112Updated this week
- A toolkit for enforcing logical specifications on neural networks☆122Updated this week
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 5 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- A verifier for automated and interactive proofs about transition systems.☆169Updated 3 weeks ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆86Updated 4 months ago
- Coq plugin embedding elpi☆177Updated last week
- A mechanisation of Wasm in Isabelle.☆30Updated last month
- Selected Papers of Dana S. Scott☆170Updated last year
- EGraphs in OCaml☆78Updated last year
- ☆44Updated 4 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 6 months ago
- Demo for dependent types + runtime code generation☆72Updated 10 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆79Updated last week
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago