Specula: A framework for finding deep bugs in system code using TLA+
☆94Mar 3, 2026Updated this week
Alternatives and similar repositories for Specula
Users that are interested in Specula are comparing it to the libraries listed below
Sorting:
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 5 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Jan 19, 2026Updated last month
- Reading the linearizability paper with TLA+☆51Apr 24, 2022Updated 3 years ago
- HPy porting of https://github.com/esnme/ultrajson☆16May 8, 2023Updated 2 years ago
- Some experiments in making exercises for teaching TLA+☆19May 7, 2025Updated 10 months ago
- ☆21Oct 25, 2021Updated 4 years ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆36Jan 15, 2026Updated last month
- Convert TLA+ output (and values) into JSON☆28Mar 3, 2021Updated 5 years ago
- A verifier for automated and interactive proofs about transition systems.☆187Updated this week
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- C/C++ Windows Process Injector for Educational Purposes.☆10Apr 2, 2021Updated 4 years ago
- C++ Code☆11Aug 13, 2019Updated 6 years ago
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 years ago
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆43Apr 28, 2025Updated 10 months ago
- A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.☆10Dec 16, 2016Updated 9 years ago
- Build WSA Kernel with Docker☆17Oct 26, 2021Updated 4 years ago
- ☆12Feb 18, 2025Updated last year
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- ☆34Mar 1, 2026Updated last week
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- Repository for Stellaris Immortal alpha☆17May 9, 2020Updated 5 years ago
- A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.☆13Feb 25, 2023Updated 3 years ago
- websocket-protocol's implementation with multithread synchronization model in C++☆17Jul 23, 2017Updated 8 years ago
- Runtime type information for JavaScript and TypeScript programs☆10Jun 16, 2024Updated last year
- Text & sentiment analysis of WhatsApp chat data.☆10Feb 3, 2020Updated 6 years ago
- A plugin for OpenCode. Make your coding agent learn and grow with every task.☆36Jan 31, 2026Updated last month
- Benchmarks of artificial neural network library for Spark MLlib☆11Dec 3, 2015Updated 10 years ago
- Vocal Prism — Privacy-first, local AI audio transcription for macOS (Whisper → CoreML, Apple Silicon‑optimized).☆27Jan 15, 2026Updated last month
- WorldPalette is a Maya plugin based on the 2015 SIGGRAPH paper, WorldBrush: Interactive Example-based Synthesis of Procedural Virtual Wor…☆11May 10, 2021Updated 4 years ago
- Git mirror of ImageStack☆11Aug 15, 2012Updated 13 years ago
- remem is a C++ library designed for memory manipulation, function calling, and pattern scanning. It supports various calling conventions,…☆10Aug 23, 2024Updated last year
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated last year
- netease python2 inject hook☆13Jan 8, 2025Updated last year
- Maven plugin that talks to docker-compose command-line interface☆13Feb 5, 2023Updated 3 years ago
- ☆16Oct 24, 2021Updated 4 years ago
- Fully Local Push-to-Transcribe☆18Nov 6, 2025Updated 4 months ago
- An alternative to OpenFaaS nats-queue-worker for long-running functions☆11Dec 14, 2022Updated 3 years ago
- Repository for my Hypothesis training course☆11Sep 30, 2016Updated 9 years ago