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:
- A thumbnail creation library☆11Apr 14, 2024Updated 2 years ago
- Terminal progress written in Kotlin☆19May 25, 2017Updated 9 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
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fast SIMD sorting routines for int and float arrays☆23Apr 21, 2025Updated last year
- ☆15Mar 12, 2016Updated 10 years ago
- Minecraft clone implemented in Rust.☆12Dec 24, 2022Updated 3 years ago
- Kotlin/Java API for various SMT solvers☆40Aug 11, 2026Updated 3 weeks ago
- A simple, lightweight library for ANSI styling.☆22Oct 30, 2025Updated 10 months ago
- Zorbage: algebraic data types and algorithms for use in numeric processing.☆12Jun 25, 2026Updated 2 months ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated 3 months ago
- A combinatorics library for Kotlin☆31May 11, 2026Updated 3 months ago
- A Processing Environment for Swift☆17Apr 30, 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.
- I reverse engineered the foobar2000 database and playlist formats. You can export to m3u playlists for example.☆14Oct 4, 2012Updated 13 years ago
- Variational autoencoder in Theano☆11Sep 14, 2017Updated 8 years ago
- Arthur's Formal Metatheory in Coq☆22Feb 6, 2026Updated 6 months ago
- Spatial data structures☆19Jun 26, 2026Updated 2 months ago
- C# port of the fast static 2d spatial index Flatbush (https://github.com/mourner/flatbush/)☆14May 11, 2020Updated 6 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- Simple and intuitive animation editor☆15Mar 28, 2015Updated 11 years ago
- A framework for multithreaded drawing in Processing☆13Oct 8, 2020Updated 5 years ago
- Optimal TSP in Polynomial Time☆15May 30, 2025Updated last year
- 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.
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 7 months ago
- Play audio files from terminal.☆14Sep 5, 2023Updated 2 years ago
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- 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
- Random dumping ground of almost-throwaway stuff☆10Jul 22, 2020Updated 6 years ago
- JSON schema of prisma.yml files☆10Dec 11, 2020Updated 5 years ago
- ☆11May 16, 2026Updated 3 months ago
- engagic is for the people☆17Aug 25, 2026Updated last week
- 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.
- simple linux audio interface using ffmpeg and alsa☆10Jul 27, 2020Updated 6 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 6 years ago
- ☆10Jan 18, 2021Updated 5 years ago
- An efficient implementation of a stochastic Spiking Neural Network for handwrittend digits recognition☆10Feb 27, 2019Updated 7 years ago
- Stack: .NET 6, WPF (MVVM), Entity Framework Core, SQLite. ᅠ ᅠᅠ ᅠ ᅠ Three Layer Architecture, Dependency Injection.☆12Jan 28, 2022Updated 4 years ago
- A fork/clone of the OpenFAST project from sourceforge for the purpose of updating it to 2015 and pushing artifacts to NuGet☆10Apr 29, 2021Updated 5 years ago
- A digital archive of category theory papers.☆35Jun 27, 2026Updated 2 months ago