⅋ — session types for Rust

PKM for the LSP

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

The 2024 edition of The Nature of Code with p5.js. Includes Notion workflow and build system.

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

💫 An open-source multi-purpose N-body code.

ergonomic and precise error handling built atop type-level set arithmetic

A high level diffing library for rust based on diffs

a structural diff that understands syntax 🟥🟩

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

A cube that balances itself in a corner or edge using reaction wheels

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

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

An open etymology dataset created using Wiktionary data. Contains 3.8M entries, 1.8M terms, 2900 languages, and 31 unique relationship types.

Logic programming in Rust

Test and benchmark suite for sort implementations.

Examples to illustrate the use of algebraic effects in Multicore OCaml

A fast branchless stable quicksort / mergesort hybrid that is highly adaptive.

A stack-based array programming language

Rust programs written entirely in Rust

An APL-like programming language

A fast and convenient fuzzy matcher library for rust

Source files for the book "NixOS in Production"

A Swift toolchain installer and manager, written in Swift.

Reading and writing font files

age-encrypted secrets for NixOS; drop-in replacement for agenix

a model of MIR and the Rust type/trait system

A tiny, fast, zero-dep library for random number generation