Pinned Repositories
cabal
Official upstream development repository for Cabal and cabal-install
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
conf-ntc2
Linux configuration files
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
fvwmrc
fvwmrc
hsort
Command-line heapsorting
snatch
fetches MPEG files from browser plugins
tuple
Tuple manipulation library
NadiaYvette's Repositories
NadiaYvette/hsort
Command-line heapsorting
NadiaYvette/fvwmrc
fvwmrc
NadiaYvette/snatch
fetches MPEG files from browser plugins
NadiaYvette/tuple
Tuple manipulation library
NadiaYvette/cabal
Official upstream development repository for Cabal and cabal-install
NadiaYvette/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
NadiaYvette/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
NadiaYvette/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
NadiaYvette/conf-ntc2
Linux configuration files
NadiaYvette/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
NadiaYvette/djinn
Generate Haskell code from a type
NadiaYvette/hegg
Fast equality saturation in Haskell
NadiaYvette/toolchain.patch
toolchain patch
NadiaYvette/fixws
small whitespace fixup tool
NadiaYvette/generics-sop-examples
NadiaYvette/hoogle
Haskell API search engine
NadiaYvette/NixConfig
NadiaYvette/optics
Optics as an abstract interface
NadiaYvette/streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions
NadiaYvette/streamtest
Just some experimentation with the Streaming library.
NadiaYvette/stringexample
This demonstrates odd behaviour with backslash-delimited string gaps.
NadiaYvette/vary