- Seoul, Republic of Korea
-
00:01
(UTC +09:00) - https://jaylee.xyz
- https://orcid.org/0000-0002-2224-4861
- 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 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 Qwen, DeepSeek, gpt-oss and Gemma 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…
TypeScript-first schema validation with static type inference