Seoul, Republic of Korea

Jay Lee

Elite
@Zeta611

Programming programming languages ๐Ÿช„ ฮปแ ป.(ฮปแฅŠ.แ ป(แฅŠ แฅŠ))(ฮปแฅŠ.แ ป(แฅŠ แฅŠ))

jaylee.xyz

simplebnf. โŒฅ Simple Backusโ€“Naur form (BNF) LaTeX package

49

snu-ece-bsc-thesis. ์„œ์šธ๋Œ€ํ•™๊ต ์ „๊ธฐ์ •๋ณด๊ณตํ•™๋ถ€ ํ•™์‚ฌํ•™์œ„๋…ผ๋ฌธ ์–‘์‹ LaTeX ํด๋ž˜์Šค

42

react-trace. โš› React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics

39

SwiftUI-Fractals. โ„๏ธ The Sierpinski carpet, triangle, and a fractal tree using SwiftUI

32

Video-Converter. A simple video convertor for Mac

20

simplebnf.typ. A simple package to format Backus-Naur form

18

golpy. Efficient Conway's Game of Life implemented in Python using NumPy.

14

polycalc. ๐Ÿงฎ Polynomial Calculator

12

snu-cse-bsc-thesis. ์„œ์šธ๋Œ€ํ•™๊ต ์ปดํ“จํ„ฐ๊ณตํ•™๋ถ€ ํ•™์‚ฌํ•™์œ„๋…ผ๋ฌธ ์–‘์‹ LaTeX ํด๋ž˜์Šค

9

texnical-vim-kts-conf-2020. 2020 ํ•œ๊ตญํ…ํ•™ํšŒ ์ œ13์ฐจ ์ •๊ธฐ์ดํšŒ ๋ฐ ํ•™์ˆ ๋Œ€ํšŒ ๋ฐœํ‘œ์ž๋ฃŒ

8

redemon-ui. ๐Ÿง™โ€โ™€๏ธ Reactive Synthesis by Demonstration for UI

8

inventing-monads. ๐Ÿง™๐Ÿปโ€โ™‚๏ธ ๋ชจ๋‚˜๋“œ ๋ฐœ๋ช…ํ•˜๊ธฐ ์„ธ๋ฏธ๋‚˜ ์ž๋ฃŒ

7

prospect-analyzer. ๐Ÿ•ณ๏ธ Prospect analysis

6

ebproofx. ebproof extended

6

DeTeXtive. TeX

6

simplesnt. ROPAS Show and Tell LaTeX beamer class

6

awesome-korean-translations. ์šฐ๋ฆฌ๋ง๋กœ ๋œ ์ปดํ“จํ„ฐ ๊ณผํ•™ ๋ฐ ๊ณตํ•™ ๋ถ„์•ผ์˜ ๋ฒˆ์—ญ๋“ค์ž…๋‹ˆ๋‹ค.

6

tex2uni.nvim. TeX-to-Unicode conversion in Neovim

6

galois-in-coq. ๐Ÿ”— Basic theory of Galois connections

5

latex-report-classes. ๋ณด๊ณ ์„œ LaTeX ํด๋ž˜์Šค๋“ค

5

CycloidGen. Draws cycloids on parametrized curves

5

python101. ๐Ÿ Python 101

5

stappl. ๐ŸŽฒ Statically typed probabilistic programming language, feat. GADT

4

asymptote-tutorial-latex-workshop-2021. ๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ ์›Œํฌ์ˆ 2021 ๋ฐœํ‘œ ์ž๋ฃŒ

4

chapterstyle-latex-workshop-2019. ๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ์›Œํฌ์ˆ 2019 ๋ฐœํ‘œ ์ž๋ฃŒ

4

baekjoon-solutions. My Baekjoon Online Judge solutions, in various languages including Python 2/3, Swift, OCaml, C/C++, Scheme, and more.

4

type-safe-programming. SLConf 2024: ํƒ€์ž…์œผ๋กœ ์•ˆ์ „ํ•˜๊ฒŒ ํ”„๋กœ๊ทธ๋ž˜๋ฐํ•˜๊ธฐ

4

curriculum-vitae. TeX

4

latex-study. TeX

3

rs-template. An opinionated ReScript React project template

3

project-euler. My Project Euler solutions

3

typed_design_patterns. Typed Design Patterns for the Functional Era

3

lamb. ๐Ÿ‘f.(๐Ÿ‘x.f(x x))(๐Ÿ‘x.f(x x))

3

beamer-tutorial-latex-workshop-2020. ๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ์›Œํฌ์ˆ 2020 Spring ๋ฐœํ‘œ ์ž๋ฃŒ

3

blog. MDX

3

cycloidal-surfaces. Draws cycloid surfaces on parametrized curves with Asymptote

3

cps_callcc_yinyang. โ˜ฏ๏ธ CPS, call/cc, and yin-yang

3

emacs-config. My Emacs configuration file

3

ReacttRace.old. โš›๏ธ React components analysis

3

abstracting-definitional-interpreters. OCaml

2

ropas-symbol. TeX

2

mir-escape-analysis. Rust MIR escape analysis

2

rain. ๐ŸŒง๏ธ ๐‘etargeting ๐€bstract ๐ˆ๐งterpreters

2

nix-config. Nix

2

effect_based_interpreter. ๐Ÿช„ A modular interpreter using effects and effect handlers

2

fun-king-functors. Playing around with OCaml functors

2

modern-tex-engines-automation-ai-latex-workshop-2023. โ€œThe Last Workshopโ€ ๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ ์›Œํฌ์ˆ 2023 ๋ฐœํ‘œ ์ž๋ฃŒ

2

hello-raytracer. Tiny raytracer in modern C++, config file in Lua

2

fun-king-proxy. This is a fun-king proxy server! So much fun!

2

sicp-solutions. My solutions to SICP

2

key-value-tutorial-latex-workshop-2021. ๊ณต์ฃผ๋Œ€ํ•™๊ต ๋ฌธ์„œ์ž‘์„ฑ ์›Œํฌ์ˆ 2021 ๋ฐœํ‘œ ์ž๋ฃŒ

2

dotfiles.old. My dotfiles

2

jaynterpreter. My website is an interpreter โœจ

1

rust-escape-analysis-thesis. My SNU ECE BS thesis

1

easyword-translator. Python

1
55
Apply