Coz: Causal Profiling

A memory allocator that automatically reduces the memory footprint of C/C++ applications.

DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X

Heap Layers: An Extensible Memory Allocation Infrastructure

A general-purpose probabilistic programming system with programmable inference

Finds formula errors in spreadsheets (plugin for Microsoft Excel)

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Bootstrapping LISP in a Boot Sector

An office suite that combines text, spreadsheet and presentation editors allowing to create, view and edit local documents

Arch Linux installer - guided, templates etc.

OpenShot Video Editor is an award-winning free and open-source video editor for Linux, Mac, and Windows, and is dedicated to delivering high quality video editing and animation solutions to the world.

all the stuff you need to build your own FreeDeck

System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be re…

A cross-platform x86 assembler with an Intel-like syntax

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Semantics of C in K

Lightning-fast and Powerful Code Editor written in Rust

KLEE Symbolic Execution Engine

C++20 μ(micro)/Unit Testing Framework

Visualize Your Ideas With Code

Mold: A Modern Linker 🦠

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …