Stars
Autobahn WebSocket protocol testsuite
A Rust implementation of the Noise Protocol Framework
An open-source cross-platform alternative to AirDrop
Data Apps & Dashboards for Python. No JavaScript Required.
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more
An extremely fast Python linter and code formatter, written in Rust.
A bridge between Lichess bots and chess engines
Construct the CFG(Control Flow Graph) from intel assembly code
A Rust library for chess and chess variant rules and operations
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
fccf: A command-line tool that quickly searches through C/C++ source code in a directory based on a search string and prints relevant code snippets that match the query.
BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.
low-level window system interface for audio plugin UIs
A modern Prolog implementation written mostly in Rust.
The Power of Prolog: Introduction to modern Prolog
🧙♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.
Fast, modern C++ DSP framework, FFT, Sample Rate Conversion, FIR/IIR/Biquad Filters (SSE, AVX, AVX-512, ARM NEON, RISC-V RVV)
Keep your wireframes free of distracting Lorem Ipsum.
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
High level bindings to the quickjs javascript engine