Visualize/analyze a Rust crate's internal structure

The most time-efficient language-learning app

A plain text-based spaced repetition system.

Modern embedded framework, using Rust and async.

Fun & easy audio playback library.

Blazing fast concurrent HashMap for Rust.

Rust bindings for raylib

Rust bindings for raylib

Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!

The Flix Programming Language

A collection of formalized statements of conjectures in Lean.

A webserver for on the fly delivery of Nix flake artifacts

A serial device I/O tool

A Rust Embedded-HAL for the rp series microcontrollers

Advice for architecting and organizing Godot projects.

Pico Pico - Embedded Programming with Raspberry Pi Pico 2 and Rust

Manually tweaked, auto-generated raylib bindings for zig. https://github.com/raysan5/raylib

jjui is a TUI designed for interacting with the Jujutsu version control system.

In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.

Input manager for Bevy.

Rust-native implementation of the pulseaudio protocol

Unified and opinionated audio I/O for Rust

Quickly insert templates into file

A high performance, editable terrain system for Godot 4.

The Lean reference manual

A dynamic and extensible GTK4 layer-shell, written in Rust.

Alternative future adapters that provide cancel safety.

A modern supercompiler for call-by-value functional languages

Nix-native configuration for niri

🌒 Neovim plugin management inspired by Cargo, powered by luarocks