Pinned Repositories
AnExampleForQuickCheckVerilog
An example of random verification for verilog RTL module with QuickCheck library of Haskell.
goban.cpp
an implementation of Go rules for learning C++
goban.scm
an implementation of Go rules for learning Scheme
LazyKQQ
Lazy K QuasiQuoter
SimpleRayTracer
h-hirai's Repositories
h-hirai/goban.scm
an implementation of Go rules for learning Scheme
h-hirai/goban.cpp
an implementation of Go rules for learning C++
h-hirai/AnExampleForQuickCheckVerilog
An example of random verification for verilog RTL module with QuickCheck library of Haskell.
h-hirai/LazyKQQ
Lazy K QuasiQuoter
h-hirai/SimpleRayTracer
h-hirai/48hScheme
learning Haskell and Scheme
h-hirai/h-hirai.github.com
h-hirai/hommad
HomMad is a Go game library
h-hirai/hommad-gui
Graphical user interface for HomMad (https://github.com/h-hirai/hommad )
h-hirai/MyRecordOfAtCoder
AtCoder is a contest platform created by a team of highly rated Japanese competitive programmers.
h-hirai/netlist-verilog
Netlist and Verilog Haskell Package
h-hirai/wavegen