Nadia Yvette Chambers's repositories
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Language:HaskellApache-2.0000
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:HaskellApache-2.0000
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
Language:HaskellNOASSERTION000
djinn
Generate Haskell code from a type
Language:HaskellBSD-3-Clause000
hegg
Fast equality saturation in Haskell
Language:HaskellBSD-3-Clause000
toolchain.patch
toolchain patch
000