Yet another Nix CLI helper. [Maintainers=@NotAShelf, @faukah]

A solver for Blood on the Clocktower through iterating all possible worlds

The open source coding agent.

Sub-probability Multiparty Session Types

Everything you'll need to know for getting a CS job while in Brown University.

review github pull requests from emacs

Fast file synchronization and network forwarding for remote development

A high-throughput and memory-efficient inference and serving engine for LLMs

The Dao of Functional Programming

Nix Packages collection & NixOS

Secure Shell implementation

🔍 Semantic search over Brown's course catalog powered by Redis vector store and OpenAI embeddings.

Backtester for IMC Prosperity 3 algorithms

Beautiful and reliable typst code formatter

Low latency typst preview for Neovim

A markup-based typesetting system that is powerful and easy to learn.

Useful debugging dotfiles for Brown's operating systems class

AeroSpace is an i3-like tiling window manager for macOS

Linux virtual machines, with a focus on running containers

Minimal and opinionated eBPF tooling for the Rust ecosystem

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Neovim support for the Lean theorem prover

A congestion control plane. (SIGCOMM '18)

timfon's dotfiles

Backtester for IMC Prosperity 2 algorithms

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

HackMIT

An automated stock screening system which isolates top companies based on time-tested growth criteria.