Pinned Repositories
react-trace
🛤️ React-tRace
easyword
🗣️🇰🇷 Easy Korean Translations of CS Jargons
golpy
Efficient Conway's Game of Life implemented in Python using NumPy.
inventing-monads
🧙🏻♂️ 모나드 발명하기 세미나 자료
polycalc
🧮 Polynomial Calculator
simplebnf
⌥ Simple Backus–Naur form (BNF) LaTeX package
snu-ece-bsc-thesis
서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스
stappl
🎲 Statically typed probabilistic programming language, feat. GADT
SwiftUI-Fractals
❄️ The Sierpinski carpet, triangle, and a fractal tree using SwiftUI
Video-Converter
A simple video convertor for Mac
Zeta611's Repositories
Zeta611/snu-ece-bsc-thesis
서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스
Zeta611/easyword
🗣️🇰🇷 Easy Korean Translations of CS Jargons
Zeta611/simplebnf.typ
A simple package to format Backus-Naur form
Zeta611/prospect-analyzer
🕳️ Prospect analysis
Zeta611/snu-cse-bsc-thesis
서울대학교 컴퓨터공학부 학사학위논문 양식 LaTeX 클래스
Zeta611/galois-in-coq
🔗 Basic theory of Galois connections
Zeta611/blog
Zeta611/cps_callcc_yinyang
☯️ CPS, call/cc, and yin-yang
Zeta611/lamb
🐑f.(🐑x.f(x x))(🐑x.f(x x))
Zeta611/project-euler
My Project Euler solutions
Zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
Zeta611/ropas-symbol
Zeta611/curriculum-vitae
Zeta611/easyword-translator
Zeta611/dot-nvim
Zeta611/hello-rest-flask
My First REST API in Flask
Zeta611/M
Zeta611/ocamlformat
Auto-formatter for OCaml code
Zeta611/packages
Packages for Typst.
Zeta611/ppx_deriving
Type-driven code generation for OCaml
Zeta611/ppx_sexp_conv
Generation of S-expression conversion functions from type definitions
Zeta611/ppxlib
Base library and tools for ppx rewriters
Zeta611/printbox
print nested boxes, lists, arrays, tables in several formats
Zeta611/pyml
OCaml bindings for Python
Zeta611/react-select
The Select Component for React.js
Zeta611/ropas-home
Zeta611/SeminarSeries
Zeta611/SolarLLMChatDemo
Full Stack SolarLLM Zero to All
Zeta611/tokyonight-day
Zeta611/Zeta611