A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
☆83Aug 4, 2022Updated 3 years ago
Alternatives and similar repositories for XORSATFilter
Users that are interested in XORSATFilter are comparing it to the libraries listed below
Sorting:
- ☆11Aug 15, 2023Updated 2 years ago
- Simulate realistic trajectory data seen through sporadic reporting☆166Feb 22, 2025Updated last year
- Distributed P2P Data-driven Workflow Framework☆278Updated this week
- ☆18Mar 17, 2025Updated 11 months ago
- POSIX-compliant Linux shell utility designed to search files based on their extended attributes.☆13Sep 17, 2022Updated 3 years ago
- ☆17May 28, 2025Updated 9 months ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 4 years ago
- Build Python 3 applications that integrate with Apache Accumulo☆34Oct 5, 2023Updated 2 years ago
- fox32 virtual machine for FennecOS☆15Dec 1, 2024Updated last year
- ☆67Oct 21, 2025Updated 4 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 3 years ago
- QGIS plugin to show the location of the sun, moon, and planets at their zenith for a particular date and time.☆39Jun 10, 2024Updated last year
- E-Graph library☆21Apr 4, 2024Updated last year
- Validation tool for SANS Courseware files. Generates and validates against a checksum file.☆22Feb 11, 2026Updated 3 weeks ago
- ☆18Jan 20, 2026Updated last month
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- A WebSocket library for use with Apache Accumulo☆63Jul 12, 2025Updated 7 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated last year
- Stroll: an experimental build system☆42May 27, 2023Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- RISC-V processor with CPI=1 (every single instruction executed in a single clock cycle).☆22Feb 25, 2026Updated last week
- Learn CPython internals by customizing the interpreter.☆18Feb 8, 2026Updated 3 weeks ago
- This code contains a tiny implementation of FugueMax, programmed live on video☆38Aug 19, 2025Updated 6 months ago
- SkillTree☆26Updated this week
- ☆27Jul 16, 2025Updated 7 months ago
- QGIS D3 Date and Time Heatmap☆134Jun 10, 2024Updated last year
- EeZee Language - Compiler Engineering Basics☆36Feb 23, 2026Updated last week
- 🧮 Reading group about differential, integral and logical calculi.☆26May 7, 2024Updated last year
- A basic (basic) Lisp interpreter in C!☆23Dec 17, 2015Updated 10 years ago
- Sux4J is an effort to bring succinct data structures to Java.☆171Jun 22, 2025Updated 8 months ago
- Printf Oriented Message Protocol☆117Apr 28, 2025Updated 10 months ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- ZAPISEC WAF-Copilot is an automated AI-powered security framework for web applications with a focus on highly configurable streamlined vu…☆21Oct 6, 2025Updated 4 months ago
- Converts serial IP data, typically collected from Industrial Control System devices, to the more commonly used Packet Capture (PCAP) form…☆82Oct 25, 2017Updated 8 years ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- The Directed Acyclic Graph Elevation Markup Language☆80Apr 17, 2025Updated 10 months ago
- JOPA: Java compiler in C++☆71Dec 6, 2025Updated 2 months ago
- An online tool to disassemble Python code☆36Aug 30, 2023Updated 2 years ago
- ☆27Dec 20, 2021Updated 4 years ago