A statically typed programming language for scientific computations with first class support for physical dimensions and units

A terminal workspace with batteries included

Think tmux, then aim... lower

High-level tracing language for Linux

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

A menubar application for controlling ember mugs

Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown, and other files in the viewer of your choice.

Reimplementing some data structures from Iris in Lean

Truck is a Rust CAD Kernel.

Visualise which gc-roots to delete to free some space in your nix store

Nix - Static, Permissionless, Installation-free, Pre-configured

The main codex repository

scanf for modern C++

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Sioyek is a PDF viewer with a focus on textbooks and research papers

A language for symbolic transitions system, inspired by Ivy.

An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness p…

A memory profiler for Linux.

An RPC framework for Rust with a focus on ease of use.

Tiled scrollable window management for GNOME Shell

A native, user-mode, multi-process, graphical debugger.

A package for creating slides in Typst

Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort

Firefox extension for managing tabs and bookmarks in sidebar.

👀 A modern watch command. Time machine and pager etc.

An open-source cross-platform alternative to AirDrop

Command-line sampling profiler for macOS, Linux, and Windows

A Git-compatible VCS that is both simple and powerful