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 nat…

A test kit for fast and deterministic system tests.

My personal Haskell tagging solution

Regular updates from the Cardano developer team

Simple tracing by way of contravariant functors

Generate tags file for haskell modules (GHC)

KDE Plasma Screen Splitting Shortcuts ideal for Ultrawide and Super-Ultrawide Monitors

tracking my dotfiles

ghc and cabal completion for zsh shell

For when people get too hyped up about things

A wayland compositor based on ideas from and inspired by xmonad

pretty-printer for Haskell data types that have a Show instance

A tool for handling the update of Cardano related git repos

The core component that is used to participate in a Cardano decentralised blockchain.

My configuration files

Translate Cabals Generic Package Description to a Nix expression

Alternative Haskell Infrastructure for Nixpkgs

nix scripts shared across projects

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Visualiser for Haskell (GHC) prof files

Text-based interactive GHC .prof viewer

Nix and Haskell in production

The Plutus language implementation and tools

A re-implementation of the Cardano ledger layer, replacing the Byron release

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.

Cryptographic currency implementing Ouroboros PoS protocol

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

A leaderboard webapp

A cd command that learns - easily navigate directories from the command line