tnelson / ForgeLinks
Forge: A Tool and Language for Teaching Formal Methods
☆89Updated 2 months ago
Alternatives and similar repositories for Forge
Users that are interested in Forge are comparing it to the libraries listed below
Sorting:
- Slog 1.0☆43Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆116Updated last week
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆113Updated 2 months ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 11 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- Language based on Rewriting Logic☆137Updated last week
- A mechanisation of Wasm in Coq(Rocq)☆109Updated last month
- A custom parser/auto-formatter for Standard ML☆82Updated last month
- The Twelf Programming Language☆145Updated 2 weeks ago
- Datalog with support for SMT queries and first-order functional programming☆163Updated this week
- A deterministic parser with fused lexing☆74Updated 2 years ago
- A compiler for functional programs on serialized data☆171Updated this week
- Educational Proof Assistant for Type Theory☆75Updated last year
- Coq plugin embedding elpi☆176Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year
- Mystery Languages☆41Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit☆60Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- ☆44Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- EGraphs in OCaml☆74Updated last year
- Hoare Type Theory☆78Updated 3 months ago
- A Verified Compiler for Gallina, Written in Gallina☆154Updated 2 months ago
- ☆138Updated 3 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 8 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 2 months ago
- Lem semantic definition language☆146Updated 6 months ago
- The Next Generation of Compositional Programming☆54Updated last month
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago