Pinned Repositories
cabal
Official upstream development repository for Cabal and cabal-install
clash
my branch of clash
clash-bin
ghc(i) binary loaded with clash library
clash-prelude-idris
contranomy
DE1-Cyclone-II-FPGA-Board-Support-Package
haskell12
Experiance Report on SoOSiM
iovivatartikel
SoOSiM
Abstract full system simulator
vhdl
VHDL AST and Pretty Printer
christiaanb's Repositories
christiaanb/contranomy
christiaanb/DE1-Cyclone-II-FPGA-Board-Support-Package
christiaanb/cabal
Official upstream development repository for Cabal and cabal-install
christiaanb/cabal-doctest
A Setup.hs helper for doctest running
christiaanb/cfm
A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
christiaanb/circuit-verse
christiaanb/clash-compiler
CAES Language for Synchronous Hardware
christiaanb/clash-cosim
Co-simulation between CλaSH and standardized HDLs (only Verilog currently)
christiaanb/clash-flappysquare
Flappy Square, the Clash circuit from my Haskell Exchange 2022 talk
christiaanb/clash-issue-1686
https://github.com/clash-lang/clash-compiler/issues/1686
christiaanb/clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
christiaanb/clash-riscv
A RiscV processor implementing the RV32I instruction set written in Clash
christiaanb/clash-wavedrom
christiaanb/edalize
An abstraction library for interfacing EDA tools
christiaanb/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
christiaanb/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
christiaanb/haddock
Haskell Documentation Tool
christiaanb/Haskell-FunctionOffloading
Proof of concept for a thesis on the offloading of Haskell functions onto an FPGA
christiaanb/haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
christiaanb/hint
Runtime Haskell interpreter
christiaanb/litex
Build your hardware, easily!
christiaanb/mmblog
christiaanb/pythondata-cpu-contranomy
christiaanb/riscv-formal
RISC-V Formal Verification Framework
christiaanb/singletons
The repo for the singletons Haskell library
christiaanb/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
christiaanb/th-lift-instances
Lift instances for common haskell data types
christiaanb/unbound-generics
A reimplementation of Unbound using GHC Generics.
christiaanb/vortex
christiaanb/zfoh.ch
Our homepage