-
POSTECH
- Pohang || Seoul, South Korea
- @curling-grad.bsky.social
- in/ryang-sohn
- @curling_grad
- All languages
- Agda
- Arc
- Assembly
- Astro
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Meson
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- OpenEdge ABL
- OpenSCAD
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- Python
- Roff
- Ruby
- Rust
- SCSS
- Sage
- Sass
- Scala
- Shell
- Solidity
- Svelte
- Swift
- SystemVerilog
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- Zig
- mdsvex
- reStructuredText
Starred repositories
PLUS-POSTECH / plus-homepage
Forked from posgnu/plus-homepageA template for a brand new homepage of PLUS
Speedrunning LoRA fine-tuning: frozen task, frozen hardware, public wall-clock leaderboard. modded-nanogpt for fine-tuning.
Write a fast kernel and see how you compare against the best humans and AI on gpumode.com
Flexible concrete Error type built on std::error::Error
POSTECH CS490: Foundations of Continuous Computation (Fall 2026)
The official Pi-hole Docker image from pi-hole.net
A Cargo subcommand to bundle your code into one `.rs` file for competitive programming
DeepSpec: a full-stack codebase for training and evaluating speculative decoding algorithms
TeamKorea agent-reasoning solution for the MLSys 2026 scheduling contest (Track B)
A Ghidra agentic reverse engineering skill.
Library for reducing tail latency in RAM reads
Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
POSTECH CS321: Programming Languages (Spring 2026)
An implementation of the Language Server Protocol for LaTeX
zlfn / llvm-project
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
An LLVM backend implementation targeting the Zilog Z80 processor