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
- starting html/css template. so much goodness baked in by default (previously named frontend pro template)☆12Jul 3, 2026Updated 4 months ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 7 years ago
- Yeoman generator for CanJS☆15Mar 14, 2017Updated 9 years ago
- Tempy.js☆15Apr 28, 2014Updated 12 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.
- Python-based Scraping and parsing toolkit☆12Apr 1, 2023Updated 3 years ago
- A Chrome Extension that allows page capturing from within your Web Application.☆13Aug 24, 2017Updated 9 years ago
- Wiki system in CakePHP☆14Aug 17, 2017Updated 9 years ago
- The resulting state or product of decomplecting: Clojure and ClojureScript libraries☆16Oct 30, 2015Updated 11 years ago
- Extract Bibtex entries and download fulltext of scientific articles automatically for a given DOI or URL☆11Feb 21, 2020Updated 6 years ago
- Schwa Lab core C++ library and tools.☆10Jul 15, 2015Updated 11 years ago
- An Efficient JavaScript Unification Library☆19Feb 10, 2015Updated 11 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
- 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.
- High-Performance MCTS Engine for Catan☆15Jun 12, 2026Updated 5 months ago
- A straightforward RDF graph model for Datomic☆12Oct 1, 2013Updated 13 years ago
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- Desktop display for foreign exchangerates and local times☆10Aug 23, 2026Updated 2 months ago
- Halo memory editor☆13Mar 27, 2017Updated 9 years ago
- core.nlp : NLP programming API for Clojure☆15Dec 10, 2015Updated 10 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 9 years ago
- A wrapper around the core 'fs' module that allows for sandboxed access by whitelisting or blacklisting☆11Jul 29, 2012Updated 14 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Sublime Text highlighting for ZenScript used in MineTweaker, CraftTweaker and ModTweaker☆16Oct 31, 2019Updated 7 years ago
- The reference compiler for the Brick language☆12Mar 31, 2019Updated 7 years ago
- Discovery of hue bridges per the Philips design guide.☆10Mar 23, 2018Updated 8 years ago
- ☆34Mar 4, 2023Updated 3 years ago
- A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data☆14Jan 24, 2018Updated 8 years ago
- Quantum Virtual Machine using libquantum simulator as backend.☆10Sep 29, 2014Updated 12 years ago
- A boot task displaying visual notification based on the build status.☆15Apr 18, 2016Updated 10 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
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- H5BP on Crack is a development setup that allows you to be productive right away if you use H5BP, jQuery, Handlebars, Store.js, QUnit, Gr…☆23Jul 25, 2017Updated 9 years ago
- Project moved to https://github.com/crypto-world/letsencrypt-to-prosody☆10Dec 9, 2017Updated 8 years ago
- Scheme in Clojure☆14Jun 6, 2013Updated 13 years ago
- Next generation of browser typesetting☆13Jul 30, 2013Updated 13 years ago
- Tools for editing reStructuredText, mainly aimed at Vim.☆14Dec 2, 2014Updated 11 years ago
- OpenCompany Storage Service - store user generated content☆15Aug 26, 2022Updated 4 years ago
- GNU IO Library for Android☆40May 10, 2014Updated 12 years ago
Are these results useful?