- All languages
- Agda
- Assembly
- Batchfile
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Crystal
- Cuda
- Dhall
- Dockerfile
- EJS
- Emacs Lisp
- F#
- F*
- Fennel
- Frege
- Go
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- PEG.js
- PHP
- Perl
- PureScript
- Python
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Svelte
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
- YAML
- Zig
Starred repositories
Staging repo for development of native port of TypeScript
A WebAssembly runtime implemented in TypeScript types
A simple screen parsing tool towards pure vision based GUI agent
ActivityPub server framework in TypeScript
Crawl a site to generate knowledge files to create your own custom GPT from a URL
A book about compiling Racket and Python to x86-64 assembly
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Linux kernel CVE exploit analysis report and relative debug environment. You don't need to compile Linux kernel and configure your environment anymore.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
A collection of out-of-tree LLVM passes for teaching and learning
Awesome & interesting talks about programming
A new markup-based typesetting system that is powerful and easy to learn.
10 papers that all PhD students in programming languages ought to know, for some value of 10
2023년 고려대학교 MatKor 스터디 - Rust 기초 프로그래밍 + 인터프리터 만들기
A game where you are a computer's OS and you have to manage processes, memory and I/O events.
A fast, feature-rich static code analyzer & language server for Python
A neural network in TypeScript's type system. A vision model that recognizes digits. Based on Dr. Chris Eliasmith's research. Implemented purely in type-level TypeScript.
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
This is a space where I express my thoughts and opinions on mostly technical things
A modern Haskell debugger
(주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.