A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
☆84Aug 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☆173Feb 22, 2025Updated last year
- ☆19May 28, 2025Updated last year
- QGIS Tools to capture and zoom to MGRS coordinates.☆23Jun 10, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆114Nov 27, 2024Updated last year
- SkillTree☆29Updated this week
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- Supporting Data Archives for Ghidra☆213Jun 1, 2026Updated 2 months ago
- An efficient, embeddable DPLL SAT solver in Haskell☆36Apr 25, 2026Updated 3 months ago
- QGIS plugin to show the location of the sun, moon, and planets at their zenith for a particular date and time.☆41Jun 10, 2024Updated 2 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 6 years ago
- ☆18Nov 9, 2022Updated 3 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 2 weeks 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.
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16May 20, 2026Updated 2 months ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Sep 30, 2015Updated 10 years ago
- A Cryptol major mode for Emacs.☆15May 31, 2019Updated 7 years ago
- Zig language bindings for the incredible Tracy profiler☆22Feb 24, 2022Updated 4 years ago
- Compiler backend☆16Aug 7, 2026Updated last week
- ☆16Oct 8, 2021Updated 4 years ago
- An interactive Datalog☆78Jun 10, 2026Updated 2 months ago
- Hapi plugin for registering routes☆12Jul 14, 2021Updated 5 years ago
- Binary Ninja Plugin for RISC-V☆15Nov 29, 2023Updated 2 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.
- JavaScriptCore on WebAssembly☆19Nov 6, 2021Updated 4 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Pacman wrapper/frontend to emulate Gentoo's "emerge" package management tool on ArchLinux systems☆10Sep 26, 2022Updated 3 years ago
- RISC-V processor with CPI=1 (every single instruction executed in a single clock cycle).☆23Jul 23, 2026Updated 3 weeks ago
- CTADL is a static taint analysis tool☆65Jun 24, 2026Updated last month
- A collaborative editor for local files☆11Sep 22, 2024Updated last year
- Its the programmed ATM card that can hack into all ATM machines. Its works with any currency and in any country where you might be living…☆10May 15, 2016Updated 10 years ago
- Extracting strings from binary data☆13May 7, 2026Updated 3 months ago
- !exploitable Crash Analyzer - MSEC Debugger Extensions☆13Feb 16, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Embedded-friendly crypto a la SMACCM☆13Aug 11, 2017Updated 9 years ago
- "Easy" language compiler☆18Jun 16, 2026Updated 2 months ago
- rawStream.pipe(JSONStream.parse()).pipe(streamOfObjects)☆11Nov 30, 2020Updated 5 years ago
- The fastest pure C# implementation of RoaringBitmaps.☆27May 22, 2026Updated 2 months ago
- Blocks drivers from loading by using a name collision technique. #nsacyber☆50Dec 18, 2017Updated 8 years ago
- WebAssembly interpreter that fits in a QR code☆23Jun 17, 2026Updated 2 months ago
- QGIS conversion tools to display the local date, time, time zone, convert between UNIX time (Epoch), Julian dates, ISO8601, calculate the…☆24Jun 10, 2024Updated 2 years ago