christiaanb/cabal
Official upstream development repository for Cabal and cabal-install
Developer Profile
christiaanb
Discovered public repositories for christiaanb in the GitHub catalog.
christiaanb/hawk
Haskell for Microprocessor Specifications
christiaanb/icpfc2014hw
Hardware implementation of the ICFP 2014 contest
christiaanb/NewCore
Public repository.
christiaanb/clash-prelude-idris
Public repository.
christiaanb/Idris-dev
A Dependently Typed Functional Programming Language
christiaanb/christiaanb.github.io
ga-pageviews
christiaanb/SoOSiM-cli
Public repository.
christiaanb/SoOSiM-components
Public repository.
christiaanb/tfp
Public repository.
christiaanb/haskell12
Experiance Report on SoOSiM
christiaanb/waters2012
Public repository.
christiaanb/SoOSiM-ui
A Graphical User Interface for the SoOSiM simulator
christiaanb/SoOSiM
Abstract full system simulator
christiaanb/GLFW-b
Public repository.
christiaanb/clashtalk
Public repository.
christiaanb/glfont
OpenGL font-rendering using FreeType
christiaanb/fpprac
Functioneel Programmeren Practicum
christiaanb/clash-tryout
An easier to maintain clash compiler
christiaanb/panacea
Many-Core Design and Evaluation Environment
christiaanb/DE1-Cyclone-II-FPGA-Board-Support-Package
Public repository.
christiaanb/iovivatartikel
Public repository.
christiaanb/clash-bin
ghc(i) binary loaded with clash library
christiaanb/clash-paper
Public repository.
christiaanb/haskell09talk
Presentation for Haskell symposium '09
christiaanb/vhdl
VHDL AST and Pretty Printer
christiaanb/tfvec
Fixed Size Vectors using type-family based Numerals
christiaanb/clash
my branch of clash