SAT Competition 2024

Command-line sampling profiler for macOS and Linux

Lean 4 programming language and theorem prover

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

Create beautiful diagrams just by typing notation in plain text.

The "batteries included" extended library for the Lean programming language and theorem prover

The math library of Lean 4

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

A modern alternative to ls

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

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

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

TTDL - Terminal Todo List Manager

Examples using MLX Swift

The annual event for computer science enthusiasts!

The user home repository for the Mathematics in Lean tutorial.

Koka grammar for tree-sitter

Fast command line app in rust/tokio to run commands in parallel. Similar interface to GNU parallel or xargs plus useful features. Listed in Awesome Rust utilities.

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

The Roassal Visualization Engine

A stack-based array programming language

My flakes over nixpkgs

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

A derivative approach to finding your way in BQN

The DRAT-trim proof checker

Informal collection of BQN utilities

A cross-platform, OpenGL terminal emulator.

A terminal workspace with batteries included