Lists (26)
Algorithm & Data Structures
10 repositories
Art
18 repositories
C
24 repositories
Cpp
13 repositories
Data/Viz
18 repositories
Emacs
50 repositories
Haskell
18 repositories
IoT
15 repositories
Julia
3 repositories
Learning Materials
Lecture notes, tutorials, etc.126 repositories
Lisp
12 repositories
Math
17 repositories
ML
106 repositories
NLP
8 repositories
OCaml
201 repositories
PL
PL theory, FP lang/libs, static analyzers, etc.349 repositories
Proof assistants
Rocq (Coq), Lean, etc.27 repositories
Python
79 repositories
ReScript
46 repositories
Rust
110 repositories
Static Analysis
63 repositories
Swift + Apple
Swift libraries and more104 repositories
Tools
Terminal utilities97 repositories
Typesetting
TeX, LaTeX, etc.82 repositories
Vim
54 repositories
Web
Anything related to web technologies237 repositories
Starred repositories
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Fast, accurate & comprehensive text measurement & layout
A lightweight engine for generating partial Observable Plot programs from SVG subtrees.
A modern computer algebra library for Python and Rust.
대한민국 법령을 Git 저장소로 관리합니다. 각 법령은 Markdown 파일이고, 각 개정은 실제 공포일자를 가진 Git commit입니다.
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
Vite+ is the unified toolchain and entry point for web development. It manages your runtime, package manager, and frontend toolchain in one place.
A Spotify player in the terminal with full feature parity
Unsloth Studio is a web UI for training and running open models like Gemma 4, Qwen3.5, DeepSeek, gpt-oss locally.
A formalization of Shannon's seminal 1948 paper defining entropy.
Fast, Declarative, Reproducible, and Composable Developer Environments using Nix
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
A curated list of TUI apps and libraries built with Ratatui
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
CRDT Tutorial for Beginners (a digestible explanation with less math!)
A minimal, secure Python interpreter written in Rust for use by AI
Re-editable LaTeX/ typst graphics for Inkscape
⚡ Import c, rust, zig etc. files in your TypeScript code and more.
Run OpenClaw, (formerly Moltbot, formerly Clawdbot) on Cloudflare Workers
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
a 2D rigid body physics engine for the web ▲● ■
Qwen3-TTS is an open-source series of TTS models developed by the Qwen team at Alibaba Cloud, supporting stable, expressive, and streaming speech generation, free-form voice design, and vivid voice…