mrocklin/unification external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mrocklin/unification

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mrocklin/unification)

Close

mrocklin / unificationView on GitHubMore

• External links
• Readme badge

☆71Feb 13, 2021Updated 5 years ago

Alternatives and similar repositories for unification

Users that are interested in unification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• logpy / logpy

  View on GitHub
  Logic Programming in Python
  ☆925Oct 23, 2025Updated 5 months ago
• darius / pythological

  View on GitHub
  A MiniKanren in Python
  ☆36Jul 15, 2016Updated 9 years ago
• tony-landis / datomic-py

  View on GitHub
  A Python library for the Datomic REST API
  ☆11Jun 22, 2015Updated 10 years ago
• epost / purescript-datalog-parsers

  View on GitHub
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Aug 19, 2017Updated 8 years ago
• brandonwillard / loghyc

  View on GitHub
  Loghyc - a miniKanren implementation in Hy
  ☆90Apr 2, 2020Updated 5 years ago
• pcarbonn / pyDatalog

  View on GitHub
  a datalog implementation in Python
  ☆308Sep 3, 2024Updated last year
• guitarvydas / yed-vsh

  View on GitHub
  Visual SH, GRAph SH - simple visual (diagrammatic) shell
  ☆29May 3, 2023Updated 2 years ago
• apiad / violetear

  View on GitHub
  The Full-Stack Web Framework for Pythonistas
  ☆12Dec 12, 2025Updated 3 months ago
• evertheylen / logicpy

  View on GitHub
  Prolog Implementation in Python
  ☆12Dec 28, 2017Updated 8 years ago
• Technologicat / pydialect

  View on GitHub
  Build languages on Python.
  ☆12May 2, 2021Updated 4 years ago
• thomasrebele / bashlog

  View on GitHub
  Answering Datalog Queries with Unix Shell Commands
  ☆24Feb 20, 2024Updated 2 years ago
• Suor / patterns

  View on GitHub
  Pattern matching for python
  ☆218Aug 14, 2014Updated 11 years ago
• gilch / hebigo

  View on GitHub
  蛇語(HEH-bee-go): An indentation-based skin for Hissp.
  ☆27Apr 19, 2023Updated 2 years ago
• mariusae / match

  View on GitHub
  pattern matching for python
  ☆25May 12, 2009Updated 16 years ago
• mpenkov / receipt-ocr

  View on GitHub
  A toy project for extracting the amounts from a paper receipt
  ☆13Apr 29, 2013Updated 12 years ago
• zhemao / funktown

  View on GitHub
  Immutable Data Structures for Python
  ☆76Oct 10, 2015Updated 10 years ago
• webyrd / relational-cesk

  View on GitHub
  Relational implementation of the CESK machine
  ☆21Jul 15, 2013Updated 12 years ago
• pymc-devs / symbolic-pymc

  View on GitHub
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆65Mar 20, 2024Updated 2 years ago
• grantjenks / python-pattern-matching

  View on GitHub
  Python pattern matching like functional languages.
  ☆161Feb 14, 2021Updated 5 years ago
• pythological / etuples

  View on GitHub
  Python S-expression emulation using tuple-like objects.
  ☆25Oct 20, 2025Updated 5 months ago
• gilch / drython

  View on GitHub
  metaprogramming for don't-repeat-yourself Python
  ☆28May 16, 2019Updated 6 years ago
• guenchi / Darkart

  View on GitHub
  A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
  ☆195Apr 27, 2020Updated 5 years ago
• brandonwillard / kanren-old

  View on GitHub
  Logic Programming in Python
  ☆31Sep 28, 2021Updated 4 years ago
• i2y / mochi

  View on GitHub
  Dynamically typed functional programming language
  ☆916Jul 7, 2016Updated 9 years ago
• jaseg / pixelterm

  View on GitHub
  Render pixel images (including animated GIFs) on 256-color ANSI terminals
  ☆18Feb 11, 2016Updated 10 years ago
• dalnefre / kernel_abe

  View on GitHub
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Sep 3, 2018Updated 7 years ago
• aaiyer / bugseverywhere

  View on GitHub
  Bugs Everywhere (BE), a bugtracker built on distributed version control.
  ☆16Nov 17, 2016Updated 9 years ago
• webyrd / slpKanren

  View on GitHub
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Feb 3, 2013Updated 13 years ago
• hylang / hydiomatic

  View on GitHub
  The Hy Transformer
  ☆84May 7, 2019Updated 6 years ago
• Trepan-Debuggers / trepan-xpy

  View on GitHub
  Debugger in the Trepan family for x-python
  ☆17Oct 14, 2025Updated 5 months ago
• fisherdj / miniAdapton

  View on GitHub
  a minimal implementation of incremental computation in Scheme
  ☆37Apr 30, 2017Updated 8 years ago
• becls / swish-lint

  View on GitHub
  ☆14Dec 12, 2024Updated last year
• windelbouwman / pyspeedscope

  View on GitHub
  ☆16Jun 22, 2021Updated 4 years ago
• DataBrewery / expressions

  View on GitHub
  Simple arithmetic expression parser
  ☆35Mar 24, 2022Updated 4 years ago
• metaphorm / adios

  View on GitHub
  A simple object system for Chez Scheme.
  ☆10Aug 16, 2020Updated 5 years ago
• laurmcarter / scheme-monads

  View on GitHub
  Framework for defining and using monads in Chez Scheme
  ☆11Aug 16, 2012Updated 13 years ago
• radix / sumtypes

  View on GitHub
  Sum Types, aka Tagged Unions, for Python
  ☆44Nov 30, 2021Updated 4 years ago
• artyom-poptsov / guile-ics

  View on GitHub
  iCalendar/vCard parser for GNU Guile.
  ☆12Aug 13, 2025Updated 7 months ago
• Cue / qc

  View on GitHub
  QuickCheck for Python
  ☆29Mar 24, 2012Updated 14 years ago