Stars
Scripts to compile and run Standard ML programs defined in .mlb files.
The microframework for writing powerful web applications.
Ruby ASCII Table Generator, simple and feature rich.
Static Value-Flow Analysis Framework for Source Code
A LLVM-based static analysis framework.
A library for detecting, labeling, and reasoning about microarchitectures
Decode binaries and print out which instruction set extensions they use. This program's name is a lie: it supports not just x86/ELF but also ARM64, MachO, and possibly more.
An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.
A modern commutative diagram editor for the web.
A Laser Pointer for Impress/PowerPoint in Multi-Monitor View
⌨️🌼 Syntax highlighting for Pollen (a Racket language)
PTABen: Micro-benchmark Suite for Pointer Analysis
A wrapper script to build whole-program LLVM bitcode files
Runtime type and bounds-error checking for C/C++