probcomp / Venturecxx

Related projects ⓘ

Alternatives and complementary repositories for Venturecxx

• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 5 months ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆23Updated last year
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 2 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆40Updated 11 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 11 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated last month
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆13Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• brownplt / lambda-py
  ☆58Updated 10 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆139Updated 8 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆47Updated 2 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆43Updated 9 months ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 8 years ago