Discover Zeta611/advent_of_code_2023 Open Source project

🔁 The Sierpinski carpet, triangle, and a fractal tree using SwiftUI

SwiftUI-Fractals

A simple video convertor for Mac

Video-Converter

서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스

snu-ece-bsc-thesis

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

polycalc

🧮 Polynomial Calculator

golpy

Python

inventing-monads

🧙🏻‍♂️ 모나드 발명하기 세미나 자료

2020 한국텍학회 제13차 정기총회 및 학술대회 발표자료

texnical-vim-kts-conf-2020

🗣️🇰🇷 Easy KOrean Translations of CS Jargons

eko

ReScript

awesome-korean-translations

우리말로 된 컴퓨터 과학 및 공학 분야의 번역들입니다.

CycloidGen

Draws cycloids on parametrized curves

detextive

simplesnt

ROPAS Show and Tell LaTeX beamer class

latex-report-classes

python101

asymptote-tutorial-latex-workshop-2021

공주대학교 문서작성 워크숍 2021 발표 자료

Asymptote

type-safe-programming

SLConf 2024: 타입으로 안전하게 프로그래밍하기

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

baekjoon-solutions

C++

rs-template

An opinionated ReScript React project template

JavaScript

latex-study

My Emacs configuration file

emacs-config

Org

project-euler

My Project Euler solutions

Python

ReacttRace

⚛️ React components analysis

chapterstyle-latex-workshop-2019

공주대학교 문서작성워크숍 2019 발표 자료

🐑f.(🐑x.f(x x))(🐑x.f(x x))

lamb

Rust

ebproofx

ebproof extended

공주대학교 문서작성워크숍 2020 Spring 발표 자료

beamer-tutorial-latex-workshop-2020

Tiny raytracer in modern C++, config file in Lua

hello-raytracer

C++

dotfiles.old

My dotfiles

Shell

key-value-tutorial-latex-workshop-2021

공주대학교 문서작성 워크숍 2021 발표 자료

A modular interpreter using effects and effect handlers

effect_based_interpreter

Playing around with OCaml functors

mir-escape-analysis

Rust MIR escape analysis

Rust

sicp-solutions

My solutions to SICP

Scheme

fun-king-functors

abstracting-definitional-interpreters

“The Last Workshop” 공주대학교 문서작성 워크숍 2023 발표 자료

modern-tex-engines-automation-ai-latex-workshop-2023

Draws cycloid surfaces on parametrized curves with Asymptote

cycloidal-surfaces

Asymptote

fun-king-proxy

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

ropas-symbol

☯️ CPS, call/cc, and yin-yang

cps_callcc_yinyang

Kotlin standard extension functions for Swift

Extensible

Exercises from The C Programming Language, K&R

the-texbook-exercises

exception-playground

latex-old-hangul

scheme-ios

news-classifier

the-c-programming-language

floating-fun

scheme-swift

Scheme-Swift is a Scheme interpreter written in Swift

curriculum-vitae

It's just a clock for my retired iPad mini.

just-a-clock

GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'

gisa

BookLog

읽은 책들

Sample project for my blog post:

SwiftUI-Nested-Layout

Algorithm implementations

algorithms

Minimal Scheme interpreter written in C++

scheme-cpp

C++

tabularray-tutorial-latex-workshop-2022

공주대학교 문서작성 워크숍 2022 발표 자료

🔢 Programming Language Semantics: It's Easy As 1,2,3 by Graham Hutton

123

≝ Definitional Interpreters for Higher-Order Programming Languages by John C. Reynolds

definitional-interpreters

Yaksok is a lightweight framework that brings Promises to Swift

Yaksok

Hello World programs for various programming languages

hello-worlds

Java

awesome-snu-ece

서울대학교 전기과 학생들을 위한 awesome 리스트

rust-escape-analysis-thesis

My SNU ECE B.S. thesis