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/ghc-compiler-notes
A collection of Notes on GHC
myuon/quartz-hs
Quartz is an interpreted, statically typed programming language with Haskell backend
myuon/minilight
A SDL2-based graphics library, batteries included.
myuon/refluxive
flux-like graphics engine based on sdl2
myuon/jitome-kingdom-api
myuon/madder
MADDER (Akane)
myuon/isabelle-software-foundations
"Software Foundations" in Isabelle
myuon/myuon
About me
myuon/postlude
The end
myuon/typed
The curse of λ
myuon/debil-dynamodb
DynamoDB dialect for debil
myuon/halive
Live recompiler for Haskell
myuon/provenian
Online Proof Judge
myuon/rustapp-example
sunava
myuon/ruyt
myuon/serverless-reason
Serverless framework template for Reason ML
myuon/tracy
Hi, Tracy!
myuon/aws-specs
myuon/cbc-casper-proof
Proofs of properties of CBC Casper
myuon/consensus
myuon/dotfiles
ansible-playbook
myuon/euler
Project Euler
myuon/hayway
myuon/hcdump
myuon/jwt-go
Golang implementation of JSON Web Tokens (JWT)
myuon/minilight-lua
A binding library of minilight for Lua langauge
myuon/minilight-quartz
A binding library of minilight for quartz language
myuon/nott
Notes on Type Theory
myuon/pyxis
Pyxis
myuon/typography-training