maviton

Tokyo, Japan

Pinned Repositories

bass
Make Bash utilities usable in Fish shell
Language:Python00
chokin
貯金箱シミュレーション
10
crosstool-ng
A versatile (cross-)toolchain generator.
Language:Shell00
lightyear
Parser combinators for Idris
Language:Idris00
pineal
Engine / DSL for graphic live-coding on an audio stream
Language:Hy00
SDL-idris
SDL bindings package for idris
Language:Idris00

maviton's Repositories

maviton/chokin
貯金箱シミュレーション
10
maviton/bass
Make Bash utilities usable in Fish shell
Language:Python00
maviton/crosstool-ng
A versatile (cross-)toolchain generator.
Language:Shell00
maviton/lightyear
Parser combinators for Idris
Language:Idris00
maviton/pineal
Engine / DSL for graphic live-coding on an audio stream
Language:Hy00
maviton/SDL-idris
SDL bindings package for idris
Language:Idris00