leolanger
Sophomore undergraduate @HIT-SE. Member of @h1trust. Coding for fun.
Harbin Institute of TechnologyChina
Pinned Repositories
plt-books
Books on programming language theory and linguistics in general.
forCusga
It's a game still under developing
github-slideshow
A robot powered training repository :robot:
haskell-playground
learn from https://learnyouahaskell.mno2.org/zh-cn and 《What I Wish I Knew When Learning Haskell》
leetcode
leolanger.github.io
poles
This is a game that was developed in 48 hours
portable_docs
Books, piano sheets and more...
rusnake
a snake game implemented by rust
rust-collections
just a playgroud
leolanger's Repositories
leolanger/rusnake
a snake game implemented by rust
leolanger/portable_docs
Books, piano sheets and more...
leolanger/forCusga
It's a game still under developing
leolanger/github-slideshow
A robot powered training repository :robot:
leolanger/haskell-playground
learn from https://learnyouahaskell.mno2.org/zh-cn and 《What I Wish I Knew When Learning Haskell》
leolanger/leetcode
leolanger/leolanger.github.io
leolanger/playground
leolanger/poles
This is a game that was developed in 48 hours
leolanger/rust-playground
leolanger/rust-collections
just a playgroud
leolanger/CMU-15213-lab
leolanger/comments
leolanger/elixir-playground
drink elixir
leolanger/gitspace
leolanger/idris-ide-client
TypeScript client for Idris IDE-mode.
leolanger/idris-vscode
Idris front-end for VS Code
leolanger/Idris2
A purely functional programming language with first class types
leolanger/ihp
λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.
leolanger/ihp-project
leolanger/java-playground
leolanger/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
leolanger/LearnOpenGL
leolanger/linux
Linux kernel source tree
leolanger/markdown-portfolio
leolanger/MinimalCompute
leolanger/records
leolanger/rust
Empowering everyone to build reliable and efficient software.
leolanger/stylish-haskell
Haskell code prettifier
leolanger/waka-box
📊 Update a pinned gist to contain your weekly WakaTime stats