leolanger

rusnake

a snake game implemented by rust

portable_docs

Books, piano sheets and more...

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

playground

poles

This is a game that was developed in 48 hours

rust-playground

rust-collections

just a playgroud

CMU-15213-lab

comments

elixir-playground

drink elixir

gitspace

idris-ide-client

TypeScript client for Idris IDE-mode.

idris-vscode

Idris front-end for VS Code

Idris2

A purely functional programming language with first class types

ihp

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

ihp-project

java-playground

learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

LearnOpenGL

linux

Linux kernel source tree

markdown-portfolio

MinimalCompute

records

rust

Empowering everyone to build reliable and efficient software.

stylish-haskell

Haskell code prettifier

waka-box

📊 Update a pinned gist to contain your weekly WakaTime stats