- Seoul, Republic of Korea
- https://jaylee.xyz
- in/zeta611
- u/Zeta611
- @ZetaJayLee
Highlights
- Pro
Lists (26)
Sort Name ascending (A-Z)
Algorithm & Data Structures
Art
C
Cpp
Data/Viz
Emacs
Haskell
IoT
Julia
Learning Materials
Lecture notes, tutorials, etc.Lisp
Math
ML
NLP
OCaml
PL
PL theory, FP lang/libs, static analyzers, etc.Proof assistants
Rocq (Coq), Lean, etc.Python
ReScript
Rust
Static Analysis
Swift + Apple
Swift libraries and moreTools
Terminal utilitiesTypesetting
TeX, LaTeX, etc.Vim
Web
Anything related to web technologies- All languages
- APL
- Agda
- Assembly
- Astro
- Asymptote
- BQN
- Batchfile
- Brainfuck
- C
- C#
- C++
- C3
- CMake
- CSS
- CWeb
- Clojure
- CodeQL
- Common Lisp
- Coq
- D
- Dart
- Dockerfile
- Dune
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fennel
- Flix
- Fluent
- Forth
- GLSL
- Go
- Groovy
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lex
- Lua
- MDX
- MLIR
- Macaulay2
- Makefile
- Markdown
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Odin
- Org
- P4
- PHP
- Pascal
- Perl
- Perl 6
- PostScript
- PowerShell
- Prolog
- Pug
- PureScript
- Python
- QML
- R
- Racket
- Raku
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Slash
- Smalltalk
- Standard ML
- Svelte
- Swift
- TSQL
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- VBScript
- Vala
- Verilog
- Vim Script
- Vim Snippet
- Vue
- WebAssembly
- YASnippet
- Yacc
- Zig
Starred repositories
The open agent skills tool - npx skills
🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning
🛝🤖 Fun with the CEK machine (and more?)
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
Web UI for training and running open models like Gemma 4, Qwen3.6, 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