A superior pairing function
☆14Dec 10, 2018Updated 7 years ago
Alternatives and similar repositories for pairing
Users that are interested in pairing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- ☆12Mar 12, 2026Updated 7 months ago
- A thumbnail creation library☆11Apr 14, 2024Updated 2 years ago
- Playing around with Kotlin and implementing interesting stuff☆11Oct 19, 2016Updated 9 years ago
- Terminal progress written in Kotlin☆19May 25, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Jflap but in the Rust programming language and React framework for Javascript. Made by Misha Ryabko (https://www.github.com/Reisande) and…☆12Dec 11, 2022Updated 3 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- Generate QR codes in typst☆16Oct 24, 2025Updated 11 months ago
- A sleek, responsive, containerized web dashboard to visualize network interface statistics using vnstat☆14Aug 25, 2026Updated last month
- Fast SIMD sorting routines for int and float arrays☆23Apr 21, 2025Updated last year
- ☆15Mar 12, 2016Updated 10 years ago
- ☆12Oct 28, 2022Updated 3 years ago
- ☆16Jun 17, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Kotlin/Java API for various SMT solvers☆42Aug 11, 2026Updated 2 months ago
- Work in progress on semi-simplicial types☆25Dec 15, 2022Updated 3 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆14Oct 5, 2023Updated 3 years ago
- Zorbage: algebraic data types and algorithms for use in numeric processing.☆12Jun 25, 2026Updated 3 months ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆21Jun 3, 2026Updated 4 months ago
- A combinatorics library for Kotlin☆33May 11, 2026Updated 5 months ago
- A Processing Environment for Swift☆17Apr 30, 2022Updated 4 years ago
- Arthur's Formal Metatheory in Coq☆22Feb 6, 2026Updated 8 months ago
- CBF 🦥is a simple CLI tool for developers who can't be f#@!'d learning or remembering all the commands they have to run day to day or ju…☆26Feb 27, 2023Updated 3 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.
- Spatial data structures☆19Jun 26, 2026Updated 3 months ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆27Jul 5, 2026Updated 3 months ago
- C# port of the fast static 2d spatial index Flatbush (https://github.com/mourner/flatbush/)☆14May 11, 2020Updated 6 years ago
- CSS module for building Flex Box layouts http://tachyons.io☆15Jul 27, 2016Updated 10 years ago
- Optimal TSP in Polynomial Time☆15May 30, 2025Updated last year
- 3D Graphics API low-level abstraction layer☆10Jul 18, 2019Updated 7 years ago
- Skeleton pruning based in the IMA and Contour Approximation.☆16Apr 27, 2016Updated 10 years ago
- Matlab package for circle packing☆19Aug 19, 2026Updated last month
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Go Freely -- a shell script to manage project-local GOPATH, for any project, unobtrusively.☆16Jun 8, 2020Updated 6 years ago
- window switcher for Microsoft Windows☆13May 16, 2018Updated 8 years ago
- Generating digits that are secretly *other* digits doing handstands☆19Aug 27, 2019Updated 7 years ago
- Random dumping ground of almost-throwaway stuff☆10Jul 22, 2020Updated 6 years ago
- A curated list of open-source personal AI assistants you run on your own devices☆20Feb 25, 2026Updated 7 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆31Oct 5, 2026Updated last week
- JSON schema of prisma.yml files☆10Dec 11, 2020Updated 5 years ago