Pinned Repositories
agda-cate
Category Theory in Agda
AI
artificial intelligence on python!
Chimera
Shooting Game with Monads and Lenses
ghc-compiler-notes
A collection of Notes on GHC
haskell2010-ja
Haskell2010 Language Report 日本語訳
jitome-kingdom
The kingdom of jitome girls
minilight
A SDL2-based graphics library, batteries included.
quartz
quartz-hs
Quartz is an interpreted, statically typed programming language with Haskell backend
timeline
myuon's Repositories
myuon/AI
artificial intelligence on python!
myuon/fourKings
A simple game with cards
myuon/FuncFormat
a simple text-formatting way by QuasiQuotes
myuon/HSDLightPhyx
Light Phyx by Haskell with SDL
myuon/Quasar
program multiverse
myuon/combinatory-logic
Combinatory Logic and lambda-calculus
myuon/free-game
Create something graphical with free monads
myuon/GA_hs
genetic algorithm by Haskell
myuon/gijinka
#言語擬人化学園もの
myuon/HasHellp
Yes, Yesod!
myuon/HGPhyx
Haskell Gloss Phyx
myuon/maletter
myuon/prooving-everyday
an application to inform how many theories you have proved today
myuon/Simple_RPG
a simple RPG(under construction)