drhagen / pairingLinks
A superior pairing function
☆15Updated 6 years ago
Alternatives and similar repositories for pairing
Users that are interested in pairing are comparing it to the libraries listed below
Sorting:
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- Cluster high-dimensional data by transforming N-dimensional points to and from a 1-dimensional Hilbert fractal curve index in C# .Net.☆64Updated 8 years ago
- speedata Publisher examples☆29Updated last month
- Circle packing similar to squarify for treemap☆106Updated 2 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆85Updated 2 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Python 3 runtime libraries for ANTLR 4☆12Updated 10 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Updated 9 months ago
- PRolog Equation Solving System☆29Updated 9 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆33Updated 2 months ago
- String Matching Algorithms Research Tool☆108Updated last year
- Metamath verifier in Python☆40Updated 5 months ago
- PyInterval — Interval arithmetic in Python☆88Updated 8 years ago
- The Automata Learning Framework☆19Updated 5 years ago
- Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler☆15Updated last year
- How fast can we shuffle values?☆39Updated last year
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 3 weeks ago
- ☆22Updated last year
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- A library for pattern matching on symbolic expressions in Python.☆170Updated last year
- A web application to visualize complex mappings.☆31Updated 9 years ago
- Lean 4 Metamath verifier☆21Updated 6 months ago
- A minimalistic and high-performance SAT solver☆146Updated 4 years ago
- Visual graph rewriting platform☆10Updated 5 months ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- ☆25Updated last month
- An evolutionary approach to find small and low latency sorting networks☆73Updated 3 weeks ago
- Code for enumeration from a CFG☆20Updated 2 years ago