Zeta611

simplebnf

⌥ Simple Backus–Naur form (BNF) LaTeX package

snu-ece-bsc-thesis

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

golpy

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

easyword

🗣️🇰🇷 Easy Korean Translations of CS Jargons

simplesnt

ROPAS Show and Tell LaTeX beamer class

latex-report-classes

보고서 LaTeX 클래스들

type-safe-programming

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

blog

ebproofx

ebproof extended

project-euler

My Project Euler solutions

rs-template

An opinionated ReScript React project template

effect_based_interpreter

A modular interpreter using effects and effect handlers

mir-escape-analysis

Rust MIR escape analysis

ropas-symbol

advent_of_code_2023

Advent of Code 2023

algorithms

Algorithm implementations

curriculum-vitae

mpi-sws-semantics

rust-escape-analysis-thesis

My SNU ECE B.S. thesis

dot-nvim

hello-rest-flask

My First REST API in Flask

MIRAI

Rust mid-level IR Abstract Interpreter

owl

Owl - OCaml Scientific Computing @ https://ocaml.xyz

react

The library for web and native user interfaces.

react-select

The Select Component for React.js

reanalyze

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

ropas-home

themes

Custom themes repository for Warp, a blazingly fast modern terminal built in Rust.

zdoc

Zeta611