Openbox Ricing Wrapper

A daily-drivable experimental os, featuring finit as pid 1, to explore the NixOS design space

A cross-platform Electron Desktop App to stream and download any Movie, TV Series or Anime in the World. Zero Ads and Tracking

cliamp - Terminal music player inspired by winamp

Terminal TUI-based dashboard, serving at-a-glance information across multiple domains

😆 A beautiful mood tracker for your terminal

TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

Open-source desktop app for downloading, organizing and studying media. Native cross-platform (Tauri + Rust + Svelte). PDF/EPUB reader with focus mode, timestamped notes and spaced repetition. Medi…

A formally-verified web frontend framework in Lean 4

High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static bin…

peer to peer audio calls with iroh

An easy-to-use, silicon-proven (e)FPGA generator with an integrated CAD toolchain 🏗️

Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

My NixOS, nix-on-droid and nix-darwin configs.

RoguePlanet Windows Defender Vulnerability

SystemVerilog parser library fully compliant with IEEE 1800-2017

rezvan dynamic figures - a tool to create dynmic SVG figures

A fast, keyboard-driven terminal UI for todo.txt.

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Workspace for the speki application

Spaced repetition, in your terminal

Zero Knowledge Hypertext Transfer Protocol

Personal linux dotfiles + UI setup

experiments with the Rust type system, including a type-level brainfuck implementation

A Rust decompiler built on top of angr

A plain text-based spaced repetition system.

A Git-compatible VCS that is both simple and powerful

Fixedsys Excelsior font with programming ligatures

A cozy terminal clubhouse for developers. Lofi beats, casual games, chat, and tech news, all via SSH.

Rust type safe netlink library