h-hirai

h-hirai / gist:253bf06a65eb142dfc0fee0d14d26783

Last active May 11, 2018 08:06

I didn't know inttypes.h

h-hirai / BV.cpp

Last active February 23, 2017 14:27

	#include <cstddef>
	#include <cstdint>
	#include <cassert>
	#include <iostream>

	template <std::size_t W>
	struct BV {
	std::uint32_t const value;

	explicit constexpr BV(std::uint32_t v) : value(v) {

h-hirai / FF13_2_DialFacePuzzle.hs

Created November 3, 2013 13:23 — forked from anonymous/FF13_2_DialFacePuzzle.hs

	module FF13_2_DialFacePuzzle where

	import Control.Monad (MonadPlus, msum)
	import Text.Printf (printf)
	import System.Environment (getArgs)
	import Debug.Trace (trace)

	type Graph = ([Int], [(Int, Int)])

	--

h-hirai / gist:6648418

Created September 21, 2013 08:07

Hello World program without Chars, Strings, Numbers. https://codeiq.jp/ace/cielavenir/q431

h-hirai / gist:5729295

Last active December 18, 2015 04:59

h-hirai / README.md

Last active December 16, 2015 19:39

Ejecting CD-ROM by Verilog

This is non-sense DPI-C example of SystemVerilog.

This example can run on Windows and ModelSim-Altera 10.1b.

C code is able to be compiled by Mingw-gcc.

to compile:

$ vlib work

h-hirai / README.md

Last active December 16, 2015 19:39

Ejecting CD-ROM by Haskell.

This is non-sense FFI example of Haskell.

to compile:

$ ghc --make eject.hs c_eject.c

can not choise drive, just run:

$ ./eject

h-hirai / README.md

Last active December 16, 2015 19:39

Ejecting CD-ROM

This has some changes from original http://support.microsoft.com/kb/165721, to be compiled by cygwin-gcc.

to compile:

$ gcc -o eject eject.c

run with drive letter:

$ ./eject d

h-hirai / pathmangle.sh

Last active December 16, 2015 00:59

h-hirai / BitVector.hs

Last active December 12, 2015 06:49

	module BitVector (BitVector, unsigned, signed, width, value, toHexStr) where
	import Data.Bits
	import Data.Monoid
	import Text.Printf

	data BitVector = BV Int Integer

	width :: BitVector -> Int
	width (BV w _) = w