Alternatives and similar repositories for Porgy:

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

• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• tuura / selective-theory-coq
  Selective applicative functors laws and theorems
  ☆14Updated 5 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆13Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 5 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 6 months ago
• dpiponi / pile
  Abelian sandpiles
  ☆16Updated 5 months ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated last year
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 6 months ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆16Updated 8 months ago
• malyzajko / rosa
  Rosa, the real compiler
  ☆19Updated 7 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• ku-fpg / kansas-lava
  Kansas Lava
  ☆46Updated 5 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year