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
• rmculpepper / gamble
  Probabilistic Programming
  ☆40Updated 10 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 4 months ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 6 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 11 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 6 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆16Updated 8 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆33Updated 7 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆35Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated 3 weeks ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 12 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 2 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 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
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 6 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆47Updated 2 years ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆36Updated last month