There are no reviews yet. Be the first to send feedback to the community and the maintainers!
snu-ece-bsc-thesis
์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌํ์๋ ผ๋ฌธ ์์ LaTeX ํด๋์คsimplebnf
โฅ Simple BackusโNaur form (BNF) LaTeX packageSwiftUI-Fractals
โ๏ธ The Sierpinski carpet, triangle, and a fractal tree using SwiftUIeasyword
๐ฃ๏ธ๐ฐ๐ท Easy Korean Translations of CS JargonsVideo-Converter
A simple video convertor for Macgolpy
Efficient Conway's Game of Life implemented in Python using NumPy.polycalc
๐งฎ Polynomial Calculatorinventing-monads
๐ง๐ปโโ๏ธ ๋ชจ๋๋ ๋ฐ๋ช ํ๊ธฐ ์ธ๋ฏธ๋ ์๋ฃtexnical-vim-kts-conf-2020
2020 ํ๊ตญํ ํํ ์ 13์ฐจ ์ ๊ธฐ์ดํ ๋ฐ ํ์ ๋ํ ๋ฐํ์๋ฃawesome-korean-translations
์ฐ๋ฆฌ๋ง๋ก ๋ ์ปดํจํฐ ๊ณผํ ๋ฐ ๊ณตํ ๋ถ์ผ์ ๋ฒ์ญ๋ค์ ๋๋ค.prospect-analyzer
๐ณ๏ธ Prospect analysisCycloidGen
Draws cycloids on parametrized curvesDeTeXtive
simplesnt
ROPAS Show and Tell LaTeX beamer classebproofx
ebproof extendedlatex-report-classes
๋ณด๊ณ ์ LaTeX ํด๋์ค๋คpython101
๐ Python 101asymptote-tutorial-latex-workshop-2021
๊ณต์ฃผ๋ํ๊ต ๋ฌธ์์์ฑ ์ํฌ์ 2021 ๋ฐํ ์๋ฃsimplebnf.typ
A simple package to format Backus-Naur formtype-safe-programming
SLConf 2024: ํ์ ์ผ๋ก ์์ ํ๊ฒ ํ๋ก๊ทธ๋๋ฐํ๊ธฐbaekjoon-solutions
My Baekjoon Online Judge solutions, in various languages including Python 2/3, Swift, OCaml, C/C++, Scheme, and more.galois-in-coq
๐ Basic theory of Galois connectionsrs-template
An opinionated ReScript React project templateproject-euler
My Project Euler solutionslatex-study
effect_based_interpreter
๐ช A modular interpreter using effects and effect handlersemacs-config
My Emacs configuration fileblog
stappl
๐ฒ Statically typed probabilistic programming language, feat. GADTsnu-cse-bsc-thesis
์์ธ๋ํ๊ต ์ปดํจํฐ๊ณตํ๋ถ ํ์ฌํ์๋ ผ๋ฌธ ์์ LaTeX ํด๋์คReacttRace.old
โ๏ธ React components analysischapterstyle-latex-workshop-2019
๊ณต์ฃผ๋ํ๊ต ๋ฌธ์์์ฑ์ํฌ์ 2019 ๋ฐํ ์๋ฃlamb
๐f.(๐x.f(x x))(๐x.f(x x))beamer-tutorial-latex-workshop-2020
๊ณต์ฃผ๋ํ๊ต ๋ฌธ์์์ฑ์ํฌ์ 2020 Spring ๋ฐํ ์๋ฃcps_callcc_yinyang
โฏ๏ธ CPS, call/cc, and yin-yangdotfiles.old
My dotfileskey-value-tutorial-latex-workshop-2021
๊ณต์ฃผ๋ํ๊ต ๋ฌธ์์์ฑ ์ํฌ์ 2021 ๋ฐํ ์๋ฃmir-escape-analysis
Rust MIR escape analysiscycloidal-surfaces
Draws cycloid surfaces on parametrized curves with Asymptotesicp-solutions
My solutions to SICPfun-king-functors
Playing around with OCaml functorsabstracting-definitional-interpreters
modern-tex-engines-automation-ai-latex-workshop-2023
โThe Last Workshopโ ๊ณต์ฃผ๋ํ๊ต ๋ฌธ์์์ฑ ์ํฌ์ 2023 ๋ฐํ ์๋ฃfun-king-proxy
This is a fun-king proxy server! So much fun!ropas-symbol
Extensible
Kotlin standard extension functions for Swiftthe-texbook-exercises
exception-playground
news-classifier
latex-old-hangul
LaTeX ์ํ๊ธ ์์the-c-programming-language
Exercises from The C Programming Language, K&Rfloating-fun
scheme-swift
Scheme-Swift is a Scheme interpreter written in Swiftcurriculum-vitae
just-a-clock
It's just a clock for my retired iPad mini.gisa
GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'BookLog
์ฝ์ ์ฑ ๋คSwiftUI-Nested-Layout
Sample project for my blog post:rs
mpi-sws-semantics
algorithms
Algorithm implementationsscheme-cpp
Minimal Scheme interpreter written in C++definitional-interpreters
โ Definitional Interpreters for Higher-Order Programming Languages by John C. ReynoldsYaksok
Yaksok is a lightweight framework that brings Promises to Swifthello-worlds
Hello World programs for various programming languagesawesome-snu-ece
์์ธ๋ํ๊ต ์ ๊ธฐ๊ณผ ํ์๋ค์ ์ํ awesome ๋ฆฌ์คํธadvent_of_code_2023
Advent of Code 2023rust-escape-analysis-thesis
My SNU ECE BS thesis123
๐ข Programming Language Semantics: It's Easy As 1,2,3 by Graham Huttoncpu-design
CPU design for the Digital Logic Design final project.scheme-ios
easyword-translator
tabularray-tutorial-latex-workshop-2022
๊ณต์ฃผ๋ํ๊ต ๋ฌธ์์์ฑ ์ํฌ์ 2022 ๋ฐํ ์๋ฃLove Open Source and this site? Check out how you can help us