simple and opinionated modal code editor for your terminal

A post-modern modal text editor.

Third-party native Jellyfin Android app

Monero: the secure, private, untraceable cryptocurrency

An Emacs framework for the stubborn martian hacker

Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

Normalization by Evaluation for Martin-Löf Type Theory

Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.

mawww's experiment for a better code editor

Kakoune Language Server Protocol Client

Idris 2 IDE Protocol Integration for Kakoune

Open-source keyboard firmware for Atmel AVR and Arm USB families

Nix Packages collection & NixOS

a programming typeface

Roundtrip allows the definition of bidirectional (de-)serialization specifications

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

The IntercalScript programming language

A Rust compiler front-end for IDEs

A graph database as a Redis module

Redis library for rust

[maintenance mode] A low-overhead Vulkan-like GPU API for Rust.

State of the art "build your own engine" kit powered by gfx-hal

Empowering everyone to build reliable and efficient software.

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

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

Simple event queue for GLFW 3

Header only C++11 tiny glTF 2.0 library

📽 Highly Optimized 2D / 3D Graphics Math (glm) for C

💠 Single-file glTF 2.0 loader and writer written in C99

Easy to integrate Vulkan memory allocation library