Christiaan Baaij

contranomy. Haskell

clash. my branch of clash

DE1-Cyclone-II-FPGA-Board-Support-Package. Haskell

SoOSiM. Abstract full system simulator

vhdl. VHDL AST and Pretty Printer

iovivatartikel.

clash-bin. ghc(i) binary loaded with clash library

clash-prelude-idris.

haskell12. Experiance Report on SoOSiM

cabal. Official upstream development repository for Cabal and cabal-install

Idris-dev. A Dependently Typed Functional Programming Language

ghc-typelits-gcd. Type-level GCD operation, and type-checker plugin

simple. Haskell

uu-parsinglib. Haskell

hawk. Haskell for Microprocessor Specifications

GLFW-b. C

fpprac. Functioneel Programmeren Practicum

SoOSiM-ui. A Graphical User Interface for the SoOSiM simulator

panacea. Many-Core Design and Evaluation Environment

clash-paper. Haskell

clash-tryout. An easier to maintain clash compiler

tfvec. Fixed Size Vectors using type-family based Numerals

haskell09talk. Presentation for Haskell symposium '09

tfp. Haskell

glfont. OpenGL font-rendering using FreeType

clashtalk. Haskell

waters2012. Haskell