We're a place where coders share, stay up-to-date and grow their careers.
I am a programming language theory lover; good at system software like Networking, OS.
Education
Kaohsiung Medical University
All private interactions must abide by the code of conduct.
redux
redux implementation in Go/Rust
Go • 40 stars
elz
A polymorphism object-oriented programming language
Rust • 21 stars
rocket
Light-weight web framework for Go
Go • 20 stars
plt-research
A collection of PLT researching
Racket • 13 stars
little-scheme
A little scheme for playing SICP
Haskell • 6 stars
Currently Learning
Arend Coq Pie (the little typer)
Skills Languages
PLT & Networking
Currently Hacking On
https://github.com/llir/llvm LLVM IR generator/checker/parser creator: https://github.com/mewmew
林子篆
thanks
May 25 '20
A short answer is it's possible, but that also means you ar...
Mar 14 '20
Unfortunately, this kind of article with so many latex symb...
Mar 10 '20
I also feel not good with such courses but on the other han...
Feb 16 '20
Just take a look at awesome-racket, github.com/Junker/routy...
Feb 12 '20
forgot that MathJax expression xd. Did anyone know how to u...
Jan 27 '20
really cool, thanks for sharing.
Jan 22 '20
A few cases, sometimes we cannot extract out a function bec...
Jan 6 '20
Recent comments
Hindley-Milner type system: Incrementally build way & Make new language in Racket
thanks
gRPC quick start in Go
A short answer is it's possible, but that also means you ar...
NOTE: simply typed lambda calculus
Unfortunately, this kind of article with so many latex symb...
🤑🥳😎Going down the youtube tech guru hole or how you can spot scam artists
I also feel not good with such courses but on the other han...
Get Started Writing Scheme
Just take a look at awesome-racket, github.com/Junker/routy...
NOTE: bounded polymorphism
forgot that MathJax expression xd. Did anyone know how to u...
Phabricator is Phabulous
really cool, thanks for sharing.
When is nesting good or neutral?
A few cases, sometimes we cannot extract out a function bec...