h-hirai

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/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