Alternatives and similar repositories for Porgy:

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

• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 4 months ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆15Updated last week
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• tuura / selective-theory-coq
  Selective applicative functors laws and theorems
  ☆14Updated 4 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆16Updated last week
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 5 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• opencompl / egg-tactic-code
  ☆14Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 11 months ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated 11 months ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆19Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• uwplse / reincarnate-aec
  Reincarnate Artifact for ICFP 2018
  ☆13Updated 7 months ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 6 months ago
• gstew5 / games
  ☆9Updated 4 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆19Updated last year