Property-based testing for Rust, built on Hypothesis

Shrinkray is a modern multi-format test-case reducer

a dynamic language for the joy of programming

MicroZig is a toolbox for building embedded applications in Zig.

CTF framework and exploit development library

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Collection of functions and scripts to debug Erlang in production.

Library of 45+ independent Lua modules improving Neovim experience with minimal effort

mawww's experiment for a better code editor

Libation: Liberate your Library

an adaptable text editor

Program dependence graph and architecture/code-flow analysis for BEAM projects

A modern fully featured C compiler.

Open source, cloud native, Postgres platform with copy-on-write branching and scale-to-zero

The fastest macOS package manager. Written in Zig. 3ms warm installs.

FreeBSD native WiFi driver for BCM4350 (MBP 2016), BCM43455 (RPi4) — in progress

Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Repository for BLESS, an SSH Certificate Authority that runs as a AWS Lambda function

Session attach/detach for the terminal

Trace calls in Elixir processes

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

Userspace WireGuard® Implementation in Rust

monospace typeface designed for symbol-rich programming

Rivet Actors are the primitive for stateful workloads. Built for AI agents, collaborative apps, and durable execution.

Go implementation of JSON Web Tokens (JWT).

JWT lib in rust

A fast and secure multi protocol honeypot.

Fully transparent SSH, HTTPS, Kubernetes, MySQL and Postgres bastion/PAM that doesn't need additional client-side software