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

• logpy / logpy

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

  View on GitHub
  A MiniKanren in Python
  ☆36Jul 15, 2016Updated 9 years ago
• RAbraham / mercylog

  View on GitHub
  Datalog based relational programming in Python.
  ☆15Dec 26, 2022Updated 3 years ago
• tony-landis / datomic-py

  View on GitHub
  A Python library for the Datomic REST API
  ☆11Jun 22, 2015Updated 10 years ago
• mrocklin / multipledispatch

  View on GitHub
  Multiple dispatch
  ☆843Dec 5, 2024Updated last year
• brandonwillard / loghyc

  View on GitHub
  Loghyc - a miniKanren implementation in Hy
  ☆89Apr 2, 2020Updated 5 years ago
• namin / propagators

  View on GitHub
  the Art of the Propagator
  ☆52Oct 20, 2012Updated 13 years ago
• gilch / hebigo

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

  View on GitHub
  a datalog implementation in Python
  ☆307Sep 3, 2024Updated last year
• pymc-devs / symbolic-pymc

  View on GitHub
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆65Mar 20, 2024Updated last year
• guenchi / Darkart

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

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

  View on GitHub
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Jun 16, 2022Updated 3 years ago
• webyrd / wreckto-verseo

  View on GitHub
  Experiments with the Verse Calculus in miniKanren
  ☆14Sep 17, 2023Updated 2 years ago
• Technologicat / pydialect

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

  View on GitHub
  A simple object system for Chez Scheme.
  ☆10Aug 16, 2020Updated 5 years ago
• rewriting / tom

  View on GitHub
  ☆34Oct 12, 2020Updated 5 years ago
• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 6 years ago
• artyom-poptsov / guile-ics

  View on GitHub
  iCalendar/vCard parser for GNU Guile.
  ☆12Aug 13, 2025Updated 6 months ago
• buguroo / crazyhash

  View on GitHub
  Natural language hashing library.
  ☆10Nov 24, 2014Updated 11 years ago
• dalnefre / kernel_abe

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

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

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

  View on GitHub
  Python WSGI framework for developing matrix.org application-services
  ☆10Oct 23, 2019Updated 6 years ago
• spk121 / guile100

  View on GitHub
  The repository for the 100 Guile Programs project
  ☆15May 7, 2013Updated 12 years ago
• jaseg / pixelterm

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

  View on GitHub
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Dec 9, 2025Updated 2 months ago
• webyrd / relational-cesk

  View on GitHub
  Relational implementation of the CESK machine
  ☆21Jul 15, 2013Updated 12 years ago
• Mystic-Mirage / asyncio_time_travel

  View on GitHub
  Asyncio Time Travel Loop
  ☆12Jan 30, 2023Updated 3 years ago
• scheme-live / live

  View on GitHub
  Scheme library collection with yearly stable releases
  ☆17Jun 5, 2022Updated 3 years ago
• ggaughan / dee

  View on GitHub
  An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.
  ☆10Jul 23, 2018Updated 7 years ago
• darius / parson

  View on GitHub
  Yet another PEG parser combinator library and DSL
  ☆56Jul 14, 2023Updated 2 years ago
• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆37Jun 14, 2023Updated 2 years ago
• sdiehl / pyrewrite

  View on GitHub
  Python term rewriting
  ☆30Feb 14, 2013Updated 13 years ago
• Barry-Jay / Intensional-computation

  View on GitHub
  translations of a lambda abstraction to combinations of operators
  ☆18Sep 6, 2019Updated 6 years ago
• guitarvydas / yed-vsh

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

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

  View on GitHub
  ☆16Jun 22, 2021Updated 4 years ago
• ibawt / chezuv

  View on GitHub
  libuv bindings + http(s)
  ☆11Jun 22, 2021Updated 4 years ago