Giters
9032676 (a9032676)

a9032676

Geek Repo

56

followers

24

following

98

stars

Home Page:www.9032676.com

Github PK Tool:Github PK Tool

9032676's repositories

Codewars-Haskell

Personal Codewars kata solutions

Language:HaskellLicense:MITStargazers:6Issues:1Issues:0

category-research

Self-studying for category theory with agda

Language:AgdaStargazers:3Issues:2Issues:0

fp-std

Simple Haskell like (ADT) standard library for Java

Language:JavaLicense:MITStargazers:2Issues:2Issues:0

a9032676.github.io

9032676.com

Language:HTMLStargazers:0Issues:1Issues:0

brook

Brook is a cross-platform(Linux/MacOS/Windows/Android/iOS) proxy software

Language:GoLicense:GPL-3.0Stargazers:0Issues:2Issues:0

KantanMemory

A Japanese vocabulary learning software

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

kotlin-koans

Kotlin workshop

Language:KotlinLicense:MITStargazers:0Issues:2Issues:0

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

llvm-hs-lc

A simple typed lambda calculus implementation with Haskell

Stargazers:0Issues:2Issues:0

Markdown4Zhihu

Language:PythonStargazers:0Issues:2Issues:0

MemcacheDos

Memcache 反射攻击脚本 工具 nodejs ddos

Language:TypeScriptStargazers:0Issues:0Issues:0

osu

rhythm is just a *click* away!

Language:C#License:MITStargazers:0Issues:2Issues:0

osu-performance

Language:CLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

osu-resources

assets used by osu!

Language:GLSLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

serene

A simple and clean blog theme for zola

Language:SCSSLicense:MITStargazers:0Issues:0Issues:0

shadowsocks-libev

libev port of shadowsocks

Language:CLicense:GPL-3.0Stargazers:0Issues:2Issues:0

SpaceEngineers

Language:C#Stargazers:0Issues:0Issues:0