Stars
A markup-based typesetting system that is powerful and easy to learn.
wallabag is a self hostable application for saving web pages: Save and classify articles. Read them later. Freely.
Automatic verification of LLVM optimizations
A powerful and user-friendly binary analysis platform!
Open-source symbolic execution framework: https://maat.re
Application Binary Interface for the Arm® Architecture
S2E: A platform for multi-path program analysis with selective symbolic execution.
KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.
An emacs mode for editing Zettelkasten notes with neuron
Static Value-Flow Analysis Framework for Source Code
Supercharge your Org daily/weekly agenda by grouping items
Symbolic execution of LLVM IR with an engine written in Rust
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A Web Application to Visualize the Org-Roam Database
A LLVM-based static analysis framework.
Production-grade client-side tracing, profiling, and analysis for complex software systems.
🔬 A fast, interactive web-based viewer for performance profiles.
High precision scientific calculator with support for physical units