- Seoul, Republic of Korea
-
10:51
(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
Design patterns implemented in Java
RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
A libre lightweight streaming front-end for Android.
A browser automation framework and ecosystem.
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
a fast, scalable, multi-language and extensible build system
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
A collection of algorithms and data structures
google / dagger
Forked from square/daggerA fast dependency injector for Android and Java.
Most popular Mocking framework for unit tests written in Java
Android Transition animations explanation with examples.
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
✅ The programmer-friendly testing framework for Java and the JVM
Non-Blocking Reactive Foundation for the JVM
High performance non-blocking webserver
Generates a unified GraphQL schema from gRPC microservices and other Protobuf sources
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
A persistent CookieJar implementation for OkHttp 3 based on SharedPreferences.
Minimal UI library for Android inspired by React
A smart and simple plugin that provides keyboard shortcut access for Dash, Velocity or Zeal in IntelliJ IDEA, RubyMine, WebStorm, PhpStorm, PyCharm and Android Studio.