Alternatives and similar repositories for sterling:

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

• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆29Updated 2 months ago
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Updated 3 months ago
• jkoppel / ecta
  ☆33Updated 9 months ago
• namin / lms-verify
  generative programming & verification
  ☆32Updated 3 years ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆16Updated 6 months ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆102Updated 10 months ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆101Updated this week
• dvanhorn / dpc
  Designing Programs with Class
  ☆26Updated 7 years ago
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 7 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆97Updated last year
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 6 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• cgswords / texsem
  A template set for writing semantics in LaTeX
  ☆12Updated 9 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆34Updated 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆52Updated this week
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆56Updated 6 months ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 4 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 2 months ago
• jonsterling / agda-calf
  A cost-aware logical framework, embedded in Agda.
  ☆59Updated 5 months ago
• ISANobody / sill
  ☆29Updated 9 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆49Updated 2 years ago