Alternatives and similar repositories for lms-verify

Users that are interested in lms-verify are comparing it to the libraries listed below

• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• TiarkRompf / lms-clean
  ☆55Updated 4 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• clf / celf
  ☆60Updated 6 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 5 months ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 10 months ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆59Updated this week
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated last month
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆69Updated 7 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 3 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 2 months ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• bobatkey / CS316-17
  The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
  ☆21Updated 7 years ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆39Updated last year
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆26Updated 3 months ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated 2 months ago