Pinned Repositories
arrowgant
Arrow algebra, parallelism combinators
deferral
Effective deferral of execution
dotnet-core-ast
Parse C# code into ADTs
firrtl
A FIR parser for Haskell.
foshardware.github.io
kallisti
Usable, secure and efficient network protocols
lava-arrows
Hardware description embedded in Haskell
lefdef
lsc
Libre Silicon Compiler
milp
Mixed Integer Linear Programming
foshardware's Repositories
foshardware/lsc
Libre Silicon Compiler
foshardware/lava-arrows
Hardware description embedded in Haskell
foshardware/arrowgant
Arrow algebra, parallelism combinators
foshardware/deferral
Effective deferral of execution
foshardware/dotnet-core-ast
Parse C# code into ADTs
foshardware/foshardware.github.io
foshardware/ibm-place2
foshardware/kallisti
Usable, secure and efficient network protocols
foshardware/lef
Library Exchange Format
foshardware/refinement
Refinement model with first-order logic and range algebra
foshardware/verilog
A Verilog parser for Haskell.
foshardware/blif
Berkeley Logic Interchange Format
foshardware/firrtl
A FIR parser for Haskell.
foshardware/ieee-1800-2012
SystemVerilog 2012
foshardware/lefdef
foshardware/milp
Mixed Integer Linear Programming
foshardware/def
Design Exchange Format
foshardware/dickinson
Text generation language
foshardware/djinn
Generate Haskell code from a type
foshardware/injector-barnaby
DI
foshardware/lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
foshardware/libresilicontalk
foshardware/linux
Linux kernel source tree
foshardware/lsc-cabal
foshardware/MiddleEgyptianDataset
Parses 3 dictionaries from PDFs, reconstructs lost formatting using N-gram and visual computing methods, and serializes to a database for web display.
foshardware/PearlRiver
1st Testwafer for LibreSilicon
foshardware/qtflow
Free open source EDA tools
foshardware/truthtable
foshardware/type-algebra