NadiaYvette

New York City

Pinned Repositories

cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:Haskell3k 196 1.9k721
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Language:Haskell00
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:Haskell0 0 00
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
Language:Haskell00
djinn
Generate Haskell code from a type
Language:Haskell00
fvwmrc
fvwmrc
1 2 00
hegg
Fast equality saturation in Haskell
Language:Haskell00
hsort
Command-line heapsorting
Language:C2 1 01
snatch
fetches MPEG files from browser plugins
Language:C1 1 00
toolchain.patch
toolchain patch
00

NadiaYvette's Repositories

NadiaYvette/hsort
Command-line heapsorting
Language:C2 1 01
NadiaYvette/fvwmrc
fvwmrc
1 2 00
NadiaYvette/snatch
fetches MPEG files from browser plugins
Language:C1 1 00
NadiaYvette/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Language:Haskell00
NadiaYvette/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:Haskell0 0 00
NadiaYvette/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
Language:Haskell00
NadiaYvette/djinn
Generate Haskell code from a type
Language:Haskell00
NadiaYvette/hegg
Fast equality saturation in Haskell
Language:Haskell00
NadiaYvette/toolchain.patch
toolchain patch
00