A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
☆89Aug 4, 2022Updated 4 years ago
Alternatives and similar repositories for XORSATFilter
Users that are interested in XORSATFilter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An efficient minimal perfect hash function generator for small sets☆12Dec 12, 2020Updated 5 years ago
- Cube-and-Conquer SAT solver☆45Jul 14, 2025Updated last year
- A ridiculous Python interpreter written from scratch in Rust.☆27Oct 23, 2026Updated 2 weeks ago
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 6 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Oct 26, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- "Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts…☆14Apr 27, 2021Updated 5 years ago
- Stroll: an experimental build system☆42May 27, 2023Updated 3 years ago
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated 5 months ago
- ☆55Nov 23, 2024Updated last year
- Zig language bindings for the incredible Tracy profiler☆23Feb 24, 2022Updated 4 years ago
- Compiler backend☆16Aug 7, 2026Updated 3 months ago
- ☆16Oct 8, 2021Updated 5 years ago
- ☆18Nov 9, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A controlled natural language syntax for Lean.☆16Updated this week
- Running sublean☆11Updated this week
- ☆14Nov 18, 2025Updated 11 months ago
- An interactive Datalog☆79Oct 16, 2026Updated 3 weeks ago
- Binary Ninja Plugin for RISC-V☆15Nov 29, 2023Updated 2 years ago
- ☆12Feb 26, 2025Updated last year
- A small inline caching demo.☆15Feb 1, 2023Updated 3 years ago
- Clang plugin with several static analysis checks☆29Jul 16, 2025Updated last year
- Header-only binary fuse and xor filter library☆435Oct 30, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Microsoft Security Risk Detection Developer Center☆12Jan 14, 2021Updated 5 years ago
- A content cache node unikernel☆12Sep 28, 2022Updated 4 years ago
- Testing framework for the quest to find a fast & strong mixer, e. g for hashtables.☆42Aug 13, 2020Updated 6 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Verified Intermediate Representation☆138Updated this week
- RISC-V processor with CPI=1 (every single instruction executed in a single clock cycle).☆22Oct 2, 2026Updated last month
- Sphinx is a state-of-the-art succinct and dynamic perfect hash table engineered for high performance on modern x86 CPUs.☆23Aug 31, 2025Updated last year
- CTADL is a static taint analysis tool☆67Jun 24, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Low-level and high-level wrapper to work with Google Sheets. Reading, writing and sheet management.☆10May 31, 2026Updated 5 months ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆29Feb 2, 2025Updated last year
- ☆18Oct 13, 2026Updated 3 weeks ago
- Embedded-friendly crypto a la SMACCM☆13Aug 11, 2017Updated 9 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆27Aug 20, 2024Updated 2 years ago
- WebAssembly interpreter that fits in a QR code☆25Jun 17, 2026Updated 4 months ago
- Haskell implementation of SHA / SHA2 hash functions☆13Mar 15, 2018Updated 8 years ago