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

☆72Feb 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
  ☆929Oct 23, 2025Updated 6 months ago
• darius / pythological

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

  View on GitHub
  Datalog based relational programming in Python.
  ☆15Dec 26, 2022Updated 3 years ago
• mrocklin / multipledispatch

  View on GitHub
  Multiple dispatch
  ☆843Dec 5, 2024Updated last year
• epost / purescript-datalog-parsers

  View on GitHub
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Aug 19, 2017Updated 8 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• pcarbonn / pyDatalog

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

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

  View on GitHub
  Build languages on Python.
  ☆12May 2, 2021Updated 5 years ago
• evertheylen / logicpy

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

  View on GitHub
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Jun 16, 2022Updated 3 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
• 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 13 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• 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
• domluna / Glove.jl

  View on GitHub
  Implements Global Word Vectors.
  ☆11Feb 8, 2020Updated 6 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 6 months ago
• gilch / drython

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

  View on GitHub
  Python term rewriting
  ☆30Feb 14, 2013Updated 13 years ago
• rawlins / lambda-notebook

  View on GitHub
  Lambda Notebook: Formal Semantics in Jupyter
  ☆30Apr 3, 2026Updated last month
• fnpy / fn.py

  View on GitHub
  Missing features of fp in Python -- active fork of kachayev/fn.py
  ☆155Jun 14, 2023Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• 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
  ☆914Jul 7, 2016Updated 9 years ago
• webyrd / relational-parsing-with-derivatives

  View on GitHub
  Relational version of parsing with derivatives code
  ☆43Feb 15, 2013Updated 13 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
• webyrd / midoriKanren

  View on GitHub
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆21Jun 16, 2025Updated 10 months ago
• Trepan-Debuggers / trepan-xpy

  View on GitHub
  Debugger in the Trepan family for x-python
  ☆18Apr 23, 2026Updated last week
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• fisherdj / miniAdapton

  View on GitHub
  a minimal implementation of incremental computation in Scheme
  ☆37Apr 30, 2017Updated 9 years ago
• darrenks / atlas

  View on GitHub
  concise functionless functional esolang
  ☆14Jan 18, 2026Updated 3 months ago
• charliermarsh / altcoin-analysis

  View on GitHub
  Quantitative analysis of altcoins, or "Bitcoin alternatives."
  ☆10Jan 13, 2015Updated 11 years ago
• breckinloggins / vau

  View on GitHub
  A programming language
  ☆14Jan 24, 2015Updated 11 years ago
• becls / swish-lint

  View on GitHub
  ☆14Apr 10, 2026Updated 3 weeks ago
• windelbouwman / pyspeedscope

  View on GitHub
  ☆16Jun 22, 2021Updated 4 years ago
• perkinslr / schemepy

  View on GitHub
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Sep 12, 2015Updated 10 years ago