arbuztw

Pinned Repositories

2021f2e
Language:HTML0 1 01
alfd
Language:Go00
ceiba-dl
Language:Haskell10
crouton
Chromium OS Universal Chroot Environment
Language:Shell10
libsvm-gg
LIBSVM with GPU Goodness
Language:C++00
plurk-bot
plurk robot
Language:Python10
AI_Project
a repository for AI project
Language:TeX01
DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript49k 641 8.1k30.2k
crouton
Chromium OS Universal Chroot Environment (EOL)
Language:Shell8.6k 419 4.4k1.2k
aopa
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Language:Agda80 8 09

arbuztw's Repositories

arbuztw/ceiba-dl
Language:Haskell10
arbuztw/crouton
Chromium OS Universal Chroot Environment
Language:Shell10
arbuztw/plurk-bot
plurk robot
Language:Python10
arbuztw/2021f2e
Language:HTML0 1 01
arbuztw/alfd
Language:Go00
arbuztw/libsvm-gg
LIBSVM with GPU Goodness
Language:C++00
arbuztw/accountbook
Language:Python1 0
arbuztw/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript
arbuztw/dotfiles
Language:Python1
arbuztw/dsa14hw6
Data Structure and Algorithm Homework 6
Language:C
arbuztw/fn
A functional web framework
Language:Haskell
arbuztw/fzf
Efficient fish keybindings for fzf
Language:Shell
arbuztw/idris-patricia
:crystal_ball: :volcano: Implementation of immutable map from integer keys to values based on patricia tree. Basically persistent array.
Language:Idris
arbuztw/infor
arbuztw/japan-sandai
Language:TypeScript
arbuztw/judger
Language:C
arbuztw/mdwiki-seed
Basic template file layout to start with MDwiki - see http://mdwiki.info
Language:HTML
arbuztw/Nonogram
Language:C++
arbuztw/opensgx
OpenSGX
Language:C
arbuztw/PEKS
Language:Python1
arbuztw/sp2014
Language:C
arbuztw/taiwan-online-judge
Taiwan Online Judge
Language:Python1 0