Unify: a unification tool that includes a deep equivalence and partitioning of objects.
☆12Jan 28, 2019Updated 7 years ago
Alternatives and similar repositories for unify
Users that are interested in unify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repo contains an implementation of an eIDAS Bridge Library in Python.☆13Jan 15, 2020Updated 6 years ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 7 years ago
- High-Performance MCTS Engine for Catan☆15Jun 12, 2026Updated 4 months ago
- A straightforward RDF graph model for Datomic☆12Oct 1, 2013Updated 13 years ago
- Python-based Scraping and parsing toolkit☆12Apr 1, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Schwa Lab core C++ library and tools.☆10Jul 15, 2015Updated 11 years ago
- A Chrome Extension that allows page capturing from within your Web Application.☆13Aug 24, 2017Updated 9 years ago
- The resulting state or product of decomplecting: Clojure and ClojureScript libraries☆16Oct 30, 2015Updated 10 years ago
- Halo memory editor☆13Mar 27, 2017Updated 9 years ago
- Extract Bibtex entries and download fulltext of scientific articles automatically for a given DOI or URL☆11Feb 21, 2020Updated 6 years ago
- An Efficient JavaScript Unification Library☆19Feb 10, 2015Updated 11 years ago
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 9 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 3 years ago
- Experimental 2D engine designed for SNES style RPG games☆11Nov 22, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The reference compiler for the Brick language☆12Mar 31, 2019Updated 7 years ago
- With regards to biotechnology, society relies mainly on patents as means to enable and secure innovations. In recent years, the limits of…☆14Nov 19, 2014Updated 11 years ago
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- ☆34Mar 4, 2023Updated 3 years ago
- Desktop display for foreign exchangerates and local times☆10Aug 23, 2026Updated 2 months ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- core.nlp : NLP programming API for Clojure☆15Dec 10, 2015Updated 10 years ago
- Scheme in Clojure☆14Jun 6, 2013Updated 13 years ago
- Tools for editing reStructuredText, mainly aimed at Vim.☆14Dec 2, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Discovery of hue bridges per the Philips design guide.☆10Mar 23, 2018Updated 8 years ago
- A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data☆14Jan 24, 2018Updated 8 years ago
- A boot task displaying visual notification based on the build status.☆15Apr 18, 2016Updated 10 years ago
- A/B Testing framework☆16Jun 2, 2020Updated 6 years ago
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- Command-Line SQLite3 Wrapper for text manipulation with SQL☆16Feb 9, 2017Updated 9 years ago
- Project moved to https://github.com/crypto-world/letsencrypt-to-prosody☆10Dec 9, 2017Updated 8 years ago
- Next generation of browser typesetting☆13Jul 30, 2013Updated 13 years ago
- OpenCompany Storage Service - store user generated content☆15Aug 26, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Apr 1, 2026Updated 6 months ago
- git-annex repo of papers☆14Jun 11, 2016Updated 10 years ago
- Module for creating tables with sheetsee.js☆25Feb 24, 2024Updated 2 years ago
- A library for representing graphs (sets of nodes and edges) in common lisp☆13Mar 7, 2020Updated 6 years ago
- A Common Lisp Instant Messaging Client.☆12Nov 17, 2022Updated 3 years ago
- Command-line tool for tracking your day-to-day software development work☆18May 8, 2022Updated 4 years ago
- REST API proxy to bundle a batch of calls in one request☆14Dec 31, 2017Updated 8 years ago