stonechoe

Korea Univ. CS&E

Pinned Repositories

20242R0136COSE44400
00
A-Survey-of-Parametric-Static-Analysis
0 1 00
academ-frontend
Fork of DevKor-github/academ-frontend
Language:TypeScript00
core-js
Core-js
Language:JavaScript0 0 00
cose474-project
Language:Python0 1 00
CotEditor
Lightweight Plain-Text Editor for macOS
Language:Swift00
ddotfiles
dotfiles for my experiment server profiles
Language:Shell00
discord-scala
0 1 00
Documents-for-AppStore
Repository to maintain documents for the Mac App Store
00
esmeta
ECMAScript Specification (ECMA-262) Metalanguage
Language:Scala00

stonechoe's Repositories

stonechoe/20242R0136COSE44400
00
stonechoe/A-Survey-of-Parametric-Static-Analysis
0 1 00
stonechoe/academ-frontend
Fork of DevKor-github/academ-frontend
Language:TypeScript00
stonechoe/core-js
Core-js
Language:JavaScript0 0 00
stonechoe/cose474-project
Language:Python0 1 00
stonechoe/CotEditor
Lightweight Plain-Text Editor for macOS
Language:Swift00
stonechoe/ddotfiles
dotfiles for my experiment server profiles
Language:Shell00
stonechoe/discord-scala
0 1 00
stonechoe/Documents-for-AppStore
Repository to maintain documents for the Mac App Store
00
stonechoe/hotheaded-vscode
Language:TypeScript00
stonechoe/kweb-23-fall
Language:JavaScript0 1 00
stonechoe/ohmyzsh
🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Language:Shell0 0 00
stonechoe/stonechoe.github.io
Language:Ruby0 1 00
stonechoe/TypeGraphBERT_temp
Language:C#0 1 00
stonechoe/nvim-config
Language:Lua