Godot Engine – Multi-platform 2D and 3D game engine

A cross-platform, OpenGL terminal emulator.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A refreshingly simple data-driven game engine built in Rust

A post-modern modal text editor.

A cross-platform GUI library for Rust, inspired by Elm

A terminal workspace with batteries included

Nix Packages collection & NixOS

Terminal session recorder 📹

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Nix, the purely functional package manager

A modern alternative to ls

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Create beautiful diagrams just by typing notation in plain text.

Manage a user environment using Nix [maintainer=@rycee]

Lean 4 programming language and theorem prover

Rust Memory Container Cheat-sheet

Command-line sampling profiler for macOS and Linux

NixOS on WSL(2) [maintainer=@nzbr]

Rust bindings of GTK 4

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

Deep learning in Rust, with shape checked tensors and neural networks

A stack-based array programming language

The math library of Lean 4

Examples using MLX Swift

An APL-like programming language

A cargo plugin to generate Xcode Instruments trace files

CaDiCaL SAT Solver

A Command Line OTP Authenticator application.