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.
polycalc
🧮 Polynomial Calculator
simplebnf
⌥ Simple Backus–Naur form (BNF) LaTeX package
simplebnf.typ
A simple package to format Backus-Naur form
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/tex2uni.nvim
TeX-to-Unicode conversion in Neovim
Zeta611/blog
Zeta611/project-euler
My Project Euler solutions
Zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
Zeta611/ropas-symbol
Zeta611/curriculum-vitae
Zeta611/dot-nvim
Zeta611/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
Zeta611/hass-cozylife
third party cozylife integration
Zeta611/kakaotalk-nix
A nix flake for KakaoTalk
Zeta611/M
Zeta611/ocaml-lsp-server
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/ropas-home
Zeta611/SeminarSeries
Zeta611/SolarLLMChatDemo
Full Stack SolarLLM Zero to All
Zeta611/tokyonight-day
Zeta611/Zeta611