Damian Nadales's starred repositories
plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
detsys-testkit
A test kit for fast and deterministic system tests.
frisby-global-tags-cabal-ghc
My personal Haskell tagging solution
cardano-updates
Regular updates from the Cardano developer team
contra-tracer
Simple tracing by way of contravariant functors
ghc-tags-plugin
Generate tags file for haskell modules (GHC)
zsh-haskell
ghc and cabal completion for zsh shell
awesome-cold-showers
For when people get too hyped up about things
pretty-simple
pretty-printer for Haskell data types that have a Show instance
cardano-repo-tool
A tool for handling the update of Cardano related git repos
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
FizzBuzzEnterpriseEdition
FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.
haskell-nix
Nix and Haskell in production
cardano-ledger-byron
A re-implementation of the Cardano ledger layer, replacing the Byron release
ouroboros-network
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
org-html-themes
Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design
leaderboard
A leaderboard webapp