Alternatives and similar repositories for cunf:

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

• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 9 months ago
• aprolog-lang / aprolog
  αProlog
  ☆17Updated last year
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 6 years ago
• webyrd / tree-automata
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated last year
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 4 months ago
• clf / celf
  ☆59Updated 5 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆34Updated 3 years ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• theoremprover-museum / LCF77
  The original Edinburgh LCF.
  ☆23Updated 8 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• rfindler / 395-2013
  ☆13Updated 5 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆39Updated 2 months ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 2 years ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• namin / lms-verify
  generative programming & verification
  ☆32Updated 3 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 6 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆11Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago