Stars
C++17 header-only interface to the FreeRTOS kernel API.
AI Commits for IntelliJ based IDEs/Android Studio.
A little fail-safe filesystem designed for microcontrollers
GDPR, WCAG 2.2 AA, and EAA compliant, self-hosted CAPTCHA alternative with PoW mechanism.
A Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
The Web framework for perfectionists with deadlines.
ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing
A Community-led Hyper-Hackable Text Editor
Decompilation of 3D Pinball for Windows – Space Cadet
PRINS: Scalable Model Inference for Component-based System Logs
Rich is a Python library for rich text and beautiful formatting in the terminal.
A keyboard-driven, vim-like browser based on Python and Qt.
A Python package for determining platform-specific directories (e.g. user data, config, cache, logs). Handles the differences between macOS, Windows, Linux/Unix, and Android so you don't have to.
Provides a fake file system that mocks the Python file system modules.
An awesome README template to jumpstart your projects!
RegExr is a HTML/JS based tool for creating, testing, and learning about Regular Expressions.
Academic Python Library to manage DFA, NFA and AFW automata.
A framework for inference and testing of software behaviour.
Inferring models of systems from observations of their behavior
Code from CCS paper: The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning
Python @deprecated decorator to deprecate old python classes, functions or methods.
pingparsing is a CLI-tool/Python-library parser and transmitter for ping command ↪️
A Python package which creates simple interactive menus on the command line.
Ryu component-based software defined networking framework