Lean 4 programming language and theorem prover

Box3D is a 3D physics engine for games

A Git-compatible VCS that is both simple and powerful

An extremely fast Python linter and code formatter, written in Rust.

An extremely fast Python package and project manager, written in Rust.

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

KLayout Main Sources

🚴 Call stack profiler for Python. Shows you why your code is slow!

Sampling profiler for Python programs

A markup-based typesetting system that is powerful and easy to learn.

Document viewer

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Fast web fuzzer written in Go

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

A massively parallel, optimal functional runtime in Rust

Resources to install NixOS bare metal on Apple Silicon Macs [maintainers=@tpwrules,@flokli,@yuyuyureka]

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

The simplest, fastest repository for training/finetuning medium-sized GPTs.

The RISC-V Virtual Machine

Extract files from any kind of container formats

mold: A Modern Linker 🦠

Develop an end-to-end hypothetical reference model, network architectures, precision time tools, performance objectives and the methods to distribute, operate, monitor time synchronization within d…

Makani was a project to develop a commercial-scale airborne wind turbine, culminating in a flight test of the Makani M600 off the coast of Norway. All Makani software has now been open-sourced. Thi…

Frame profiler

Modular visual interface for GDB in Python

Moved to Codeberg