Alternatives and similar repositories for comingle

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

• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 months ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 6 months ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated 11 months ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 13 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 8 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated this week
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 9 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 7 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 6 months ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago