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
- A simple package to do symbolic math (focus on code gen and DSLs)☆120Updated 2 weeks ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆63Updated last year
- A near-optimal exact sampler for discrete probability distributions☆57Updated 5 months ago
- Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.☆14Updated 6 years ago
- Fast random number generation in an interval in Python: Up to 10x faster than random.randint.☆116Updated 3 weeks ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last week
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Visual graph rewriting platform☆10Updated 3 months ago
- ONNX-backed array library that is compliant with the Array API standard.☆59Updated 3 weeks ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Updated 7 months ago
- ☆11Updated 6 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆15Updated 3 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Python bindings for the egglog rust library☆89Updated this week
- Minimum Description Length Recurrent Neural Networks☆18Updated 2 years ago
- ☆24Updated 2 years ago
- a Python library for combinatorial exploration☆12Updated last week
- PyInterval — Interval arithmetic in Python☆88Updated 8 years ago
- Optimal approximate sampling from discrete probability distributions☆18Updated 4 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Pages about my projects☆56Updated this week
- ☆15Updated 2 years ago
- Code for enumeration from a CFG☆18Updated 2 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 7 years ago
- Visualisation library for geometric algebra with cefpython and ganja.js☆54Updated 4 years ago
- Python 3 runtime libraries for ANTLR 4☆11Updated 10 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago