christiaanb

contranomy

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

cabal

Official upstream development repository for Cabal and cabal-install

cabal-doctest

A Setup.hs helper for doctest running

cfm

A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.

circuit-verse

clash-compiler

CAES Language for Synchronous Hardware

clash-cosim

Co-simulation between CλaSH and standardized HDLs (only Verilog currently)

clash-flappysquare

Flappy Square, the Clash circuit from my Haskell Exchange 2022 talk

clash-issue-1686

https://github.com/clash-lang/clash-compiler/issues/1686

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

clash-riscv

A RiscV processor implementing the RV32I instruction set written in Clash

clash-wavedrom

edalize

An abstraction library for interfacing EDA tools

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)

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

haddock

Haskell Documentation Tool

Haskell-FunctionOffloading

Proof of concept for a thesis on the offloading of Haskell functions onto an FPGA

haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

hint

Runtime Haskell interpreter

IfaceError

litex

Build your hardware, easily!

mmblog

pythondata-cpu-contranomy

riscv-formal

RISC-V Formal Verification Framework

singletons

The repo for the singletons Haskell library

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

th-lift-instances

Lift instances for common haskell data types

unbound-generics

A reimplementation of Unbound using GHC Generics.

zfoh.ch

Our homepage