Terminal based IDE & text editor: easy, powerful and fast

PirateShip Consensus protocol Rust Prototype.

single header libraries for C/C++

blazesym is a library for address symbolization and related tasks

M*LIB is a library of generic and type safe containers / data structures in pure C language (C99 / C11) for a wide collection of container (comparable to the C++ STL).

garbage-collecting on-disk object store, supporting higher level KV stores and databases.

Record and Replay Framework

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

LAVA: Large-scale Automated Vulnerability Addition

AeroSpace is an i3-like tiling window manager for macOS

Use your Neovim like using Cursor AI IDE!

PyPy is a very fast and compliant implementation of the Python language.

A Python library to debug binary executables, your own way.

Fast, Scalable, Flexible Static Site Generator (SSG)

Higher level programming in C

A dedicated scratchpad for power users

Command line argument parsing library

Borgo is a statically typed language that compiles to Go.

libipt - an Intel(R) Processor Trace decoder library

MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.

Neovim file explorer: edit your filesystem like a buffer

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

Directed graph data structure for Zig

My NixOS configurations.

JAW: A Graph-based Security Analysis Framework for Client-side JavaScript

Aplicação alternativa para o sistema de bicicletas partilhadas de Lisboa

Print-friendly, minimalist CV page

Master programming by recreating your favorite technologies from scratch.

Automated static analysis tools for binary programs