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!
  ☆30Updated 4 months ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆34Updated 3 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆53Updated 6 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆102Updated 11 months ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆16Updated 7 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆19Updated last year
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• atgeller / WASM-Redex
  A model of the WebAssembly language in Redex
  ☆22Updated 3 years ago
• vafeiadis / hahn
  Hahn: A Coq library
  ☆30Updated 8 months ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated last year
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• 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
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆45Updated 5 years ago
• coq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆41Updated 2 weeks ago
• halfaya / BayHac
  ☆11Updated 7 years ago
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆29Updated 6 months ago
• dvanhorn / dpc
  Designing Programs with Class
  ☆27Updated 7 years ago
• cgswords / texsem
  A template set for writing semantics in LaTeX
  ☆12Updated 9 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• haskell-rewriting / term-rewriting
  Yet another haskell term rewriting library
  ☆18Updated 10 months ago