Beast code in Giters

h-hirai's repositories

AtCoder is a contest platform created by a team of highly rated Japanese competitive programmers.

Language:C++000

Graphical user interface for HomMad (https://github.com/h-hirai/hommad )

Language:HaskellGPL-3.0000

HomMad is a Go game library

Language:HaskellGPL-3.0000

Netlist and Verilog Haskell Package

Language:Haskell000

An example of random verification for verilog RTL module with QuickCheck library of Haskell.

Language:Verilog100

an implementation of Go rules for learning C++

Language:C++300

Language:Python000

Language:Haskell100

Lazy K QuasiQuoter

Language:Haskell100

learning Haskell and Scheme

Language:Haskell000

Language:Haskell000

an implementation of Go rules for learning Scheme

400