Discover @Zeta611 Open Source projects

Jay Lee (@Zeta611)

Zeta611

Stars
338
Global Rank 80,835 (Top 3 %)
Followers 137
Following 261
Registered about 10 years ago
Most used languages

TeX
30.6 %

OCaml
16.7 %

Swift
12.5 %

C
6.9 %

Python
5.6 %

C++
4.2 %

ReScript 2.8 %

Coq 2.8 %

Asymptote 2.8 %

Rust
2.8 %

JavaScript
1.4 %

Jupyter Notebook
1.4 %

Shell
1.4 %

Java
1.4 %

Typst 1.4 %

Scheme
1.4 %

MDX 1.4 %

Verilog 1.4 %

Org 1.4 %
Location 🇰🇷 South Korea
Country Total Rank 856
Country Ranking

Asymptote 1

Org 1

TeX
3

Typst 3

Coq 5

ReScript 6

OCaml
7

Scheme
11

MDX 33

Verilog 59

Swift
106

Rust
163

C
200

Shell
589

C++
672

Python
1,318

Jupyter Notebook
2,601

JavaScript
3,231

Java
4,889

snu-ece-bsc-thesis

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

simplebnf

⌥ Simple Backus–Naur form (BNF) LaTeX package

SwiftUI-Fractals

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

easyword

🗣️🇰🇷 Easy Korean Translations of CS Jargons

Video-Converter

A simple video convertor for Mac

golpy

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

polycalc

🧮 Polynomial Calculator

inventing-monads

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

texnical-vim-kts-conf-2020

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

awesome-korean-translations

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

prospect-analyzer

🕳️ Prospect analysis

CycloidGen

Draws cycloids on parametrized curves

DeTeXtive

simplesnt

ROPAS Show and Tell LaTeX beamer class

ebproofx

ebproof extended

latex-report-classes

보고서 LaTeX 클래스들

python101

🐍 Python 101

asymptote-tutorial-latex-workshop-2021

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

simplebnf.typ

A simple package to format Backus-Naur form

type-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 connections

rs-template

An opinionated ReScript React project template

project-euler

My Project Euler solutions

latex-study

effect_based_interpreter

🪄 A modular interpreter using effects and effect handlers

emacs-config

My Emacs configuration file

blog

stappl

🎲 Statically typed probabilistic programming language, feat. GADT

snu-cse-bsc-thesis

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

ReacttRace.old

⚛️ React components analysis

chapterstyle-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-yang

hello-raytracer

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

dotfiles.old

key-value-tutorial-latex-workshop-2021

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

mir-escape-analysis

Rust MIR escape analysis

cycloidal-surfaces

Draws cycloid surfaces on parametrized curves with Asymptote

sicp-solutions

My solutions to SICP

fun-king-functors

Playing around with OCaml functors

abstracting-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 Swift

the-texbook-exercises

exception-playground

news-classifier

Jupyter Notebook

latex-old-hangul

LaTeX 옛한글 식자

the-c-programming-language

Exercises from The C Programming Language, K&R

floating-fun

scheme-swift

Scheme-Swift is a Scheme interpreter written in Swift

curriculum-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 implementations

scheme-cpp

Minimal Scheme interpreter written in C++

definitional-interpreters

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

Yaksok

Yaksok is a lightweight framework that brings Promises to Swift

hello-worlds

Hello World programs for various programming languages

awesome-snu-ece

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

advent_of_code_2023

Advent of Code 2023

rust-escape-analysis-thesis

My SNU ECE BS thesis

123

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

cpu-design

CPU design for the Digital Logic Design final project.

scheme-ios

easyword-translator

tabularray-tutorial-latex-workshop-2022

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