Shell/REPL that renders LaTeX on terminals (looks best on kitty and Ghostty)

Collatz conjecture in Lean

P4 Benchmarking tool - based around Locust

okf — toolkit for OKF knowledge bundles: scaffold, index, validate, and render an interactive 3D graph

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

An editor inspired by Rich Hickey's Hammock Driven Development. Hammock is a Clojure-oriented, GitHub-flavored-markdown-oriented editor with an Emacs-inspired design.

LaTeX-2-Unicode Clojure library (built for babashka)

Configurable Clojure/Script interpreter suitable for scripting and Clojure DSLs

Native, fast starting Clojure interpreter for scripting

Scripting in Clojure on Node.js using SCI

Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.

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

Minimal Claude Code statusline setup I personally use

Claude Code skills marketplace: PR review automation and AI image generation

A post-modern modal text editor.

a very light rust based markdown reader with support of mermaid (web, native, TUI). vibe coded

Official MCP and CLI for Roam Research

A native macOS CLI tool for managing Calendar events and Reminders via EventKit with JSON output

Distributed horizontally scalable prompt for Recursive Language Models

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

A Kubernetes controller to manage PCI Devices and PCI Device Claims for PCI Passthrough

Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.

Like the macOS say command, but with a modern voice.

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

markdown preview plugin for (neo)vim

UCP proxy

Terravision creates Professional Cloud Architecture Diagrams from your Terraform code automatically. Supports AWS, Google and Azure.

An alternative to the immich-CLI command that doesn't depend on nodejs installation. It tries its best for importing google photos takeout archives.