Alternatives and similar repositories for Forge

Users that are interested in Forge are comparing it to the libraries listed below

• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆116Updated last week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆113Updated 2 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 11 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆137Updated last week
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆109Updated last month
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆82Updated last month
• standardml / twelf
  The Twelf Programming Language
  ☆145Updated 2 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆163Updated this week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆171Updated this week
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆75Updated last year
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆176Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆60Updated this week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• verse-lab / ego
  EGraphs in OCaml
  ☆74Updated last year
• imdea-software / htt
  Hoare Type Theory
  ☆78Updated 3 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆154Updated 2 months ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated 8 months ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated 2 months ago
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 6 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated last month
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆54Updated 5 years ago