Discover Zeta611/modern-tex-engines-automation-ai-latex-workshop-2023

⌥ Simple Backus–Naur form (BNF) LaTeX package

simplebnf

❄️ The Sierpinski carpet, triangle, and a fractal tree using SwiftUI

SwiftUI-Fractals

🗣️🇰🇷 Easy Korean Translations of CS Jargons

easyword

ReScript

Video-Converter

A simple video convertor for Mac

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

golpy

polycalc

🧮 Polynomial Calculator

inventing-monads

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

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

texnical-vim-kts-conf-2020

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

awesome-korean-translations

prospect-analyzer

🕳️ Prospect analysis

Draws cycloids on parametrized curves

CycloidGen

DeTeXtive

ROPAS Show and Tell LaTeX beamer class

simplesnt

ebproofx

latex-report-classes

python101

asymptote-tutorial-latex-workshop-2021

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

Asymptote

simplebnf.typ

A simple package to format Backus-Naur form

Typst

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++

galois-in-coq

🔗 Basic theory of Galois connections

Coq

rs-template

An opinionated ReScript React project template

JavaScript

project-euler

My Project Euler solutions

latex-study

🪄 A modular interpreter using effects and effect handlers

effect_based_interpreter

My Emacs configuration file

emacs-config

Org

blog

MDX

stappl

🎲 Statically typed probabilistic programming language, feat. GADT

서울대학교 컴퓨터공학부 학사학위논문 양식 LaTeX 클래스

snu-cse-bsc-thesis

⚛️ React components analysis

ReacttRace.old

chapterstyle-latex-workshop-2019

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

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

lamb

Rust

beamer-tutorial-latex-workshop-2020

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

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

cps_callcc_yinyang

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

hello-raytracer

C++

dotfiles.old

My dotfiles

Shell

key-value-tutorial-latex-workshop-2021

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

Draws cycloid surfaces on parametrized curves with Asymptote

mir-escape-analysis

Rust MIR escape analysis

Rust

cycloidal-surfaces

Asymptote

sicp-solutions

My solutions to SICP

Scheme

fun-king-functors

Playing around with OCaml functors

abstracting-definitional-interpreters

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

fun-king-proxy

ropas-symbol

Kotlin standard extension functions for Swift

Extensible

Exercises from The C Programming Language, K&R

the-texbook-exercises

exception-playground

news-classifier

latex-old-hangul

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

mpi-sws-semantics

Coq

algorithms

Minimal Scheme interpreter written in C++

scheme-cpp

C++

definitional-interpreters

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

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 리스트

advent_of_code_2023

Advent of Code 2023

rust-escape-analysis-thesis

My SNU ECE BS thesis

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

123

CPU design for the Digital Logic Design final project.

cpu-design

Verilog

scheme-ios

easyword-translator

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

tabularray-tutorial-latex-workshop-2022