A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
☆86Aug 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:
- ☆15Aug 15, 2023Updated 3 years ago
- ☆35May 9, 2024Updated 2 years ago
- Simulate realistic trajectory data seen through sporadic reporting☆174Feb 22, 2025Updated last year
- QGIS Lock Zoom to Tile Scale☆21Jun 10, 2024Updated 2 years ago
- The Dictionary service provides access to the data dictionary and edge dictionary. These services provide metadata about fields that are …☆26Mar 11, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆18Mar 17, 2025Updated last year
- ☆19May 28, 2025Updated last year
- QGIS Tools to capture and zoom to MGRS coordinates.☆23Jun 10, 2024Updated 2 years ago
- ☆114Nov 27, 2024Updated last year
- SkillTree☆30Aug 27, 2026Updated last week
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- A WebSocket library for use with Apache Accumulo☆68Mar 4, 2026Updated 6 months ago
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 6 years ago
- The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.☆28Jul 31, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- QGIS D3 Date and Time Heatmap☆134Jun 10, 2024Updated 2 years ago
- Fast KML Import and Export Plugin for QGIS☆72Jun 10, 2024Updated 2 years ago
- Create root and intermediate Certificate Authorities, issue user and server certificates, etc. for testing purposes.☆119Feb 3, 2025Updated last year
- Pixel Bender to Zig code translator☆25Aug 30, 2026Updated last week
- Stroll: an experimental build system☆42May 27, 2023Updated 3 years ago
- This project leverages Ansible to automate DataWave deployments on your cluster☆27Dec 12, 2019Updated 6 years ago
- ☆18Nov 9, 2022Updated 3 years ago
- Simple, Incremental SAT Solving as a Haskell Library☆15Aug 31, 2016Updated 10 years ago
- Zig language bindings for the incredible Tracy profiler☆22Feb 24, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Compiler backend☆16Aug 7, 2026Updated last month
- Creates a code.gov code inventory JSON file based on GitHub repository information. #nsacyber☆31Jan 16, 2019Updated 7 years ago
- The Platform Attribute Certificate Creator can gather component details, create, sign, and validate the TCG-defined Platform Certificate.…☆78Updated this week
- ☆16Oct 8, 2021Updated 4 years ago
- Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"☆24Jul 8, 2026Updated last month
- An educational demonstration of breaking the Enigma machine☆507Aug 14, 2020Updated 6 years ago
- ☆14Dec 8, 2022Updated 3 years ago
- An interactive Datalog☆79Jun 10, 2026Updated 2 months ago
- JavaScriptCore on WebAssembly☆19Nov 6, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The Geospatial Analysis Integrity Tool (GAIT) validates data against a data model. GAIT checks geometry, feature codes, attribute values …☆13Apr 23, 2018Updated 8 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 4 years ago
- fox32 virtual machine for FennecOS☆16Apr 18, 2026Updated 4 months ago
- SkillTree is a micro-learning gamification platform supporting the rapid integration of a gamified tool training approach into new and ex…☆638Updated this week
- Pacman wrapper/frontend to emulate Gentoo's "emerge" package management tool on ArchLinux systems☆10Sep 26, 2022Updated 3 years ago
- ☆12Jul 4, 2020Updated 6 years ago
- RISC-V processor with CPI=1 (every single instruction executed in a single clock cycle).☆23Jul 23, 2026Updated last month