🎉
Enjoying life
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))
- Seoul, Republic of Korea
- https://jaylee.xyz
- in/zeta611
- u/Zeta611
- @ZetaJayLee
Highlights
- Pro
Lists (26)
Sort Name ascending (A-Z)
AI
109 repositories
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
NLP
8 repositories
OCaml
201 repositories
PL
PL theory, FP lang/libs, static analyzers, etc.350 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 technologies238 repositories
- 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
7
stars
written in Perl
Clear filter
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
Make your diffs human readable for improved code quality and faster defect detection. 🎉
Solarized color schemes for rxvt-unicode