aninhumer/SublimeBluespec
Sublime Text package for working with Bluespec SystemVerilog.
Developer Profile
aninhumer
Discovered public repositories for aninhumer in the GitHub catalog.
aninhumer/th-build
More convenient construction of TH ASTs
aninhumer/bsv-libs
Some helpful libraries for working in Bluespec SystemVerilog.
aninhumer/SublimeHaskell
A Sublime Text 2 plugin that adds some useful features for working with Haskell code.
aninhumer/lens
Lenses, Folds, and Traversals
aninhumer/Boolean
Generalized booleans
aninhumer/bit-vector
Simple bit vectors for Haskell
aninhumer/type-level-tf
Type level numerics for Haskell using type families. Based on type-level.
aninhumer/Data.Records
Extensible Records for Haskell (GHC 7.6). Pull requests welcome!
aninhumer/mantle
A hardware description language created as an EDSL in Haskell.
aninhumer/haskell-dht
An implementation of the Bittorrent DHT protocol