Anime Girls Holding Programming Books

The “Quite OK Image Format” for fast, lossless image compression

The Serenity Operating System 🐞

The Plutus language implementation and tools

A modern smart contract platform for Cardano

2D CAD For GNOME

[mirror] A non-monolithic Wayland compositor

Agda is a dependently typed programming language / interactive theorem prover.

The Agda standard library

A modern and intuitive terminal-based text editor

Portable version of the OpenBSD maintained mg, micro emacs clone

A x86_64 Linux debugger 🐛🐛🐛

The single instruction C compiler

A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input

Moved to Codeberg

GIF that always shows the current time in UTC

A little fail-safe filesystem designed for microcontrollers

Animated sprite editor & pixel art tool (Windows, macOS, Linux)

Extremely Fast Compression algorithm

stb single-file public domain libraries for C/C++

Broadcast Copy

A blazing fast hex dumper

simple neural network library in ANSI C

a clean C library for processing UTF-8 Unicode data

A serialization format and implementation for backward-traversable lists of strings.

Snowflake is a network service for generating unique ID numbers at high scale with some simple guarantees.

Branchless UTF-8 decoder