leolanger

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/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