ch1bo

garmin-otp-authenticator

Garmin ConnectIQ Widget for One Time Passwords (HOTP / TOTP / Steam Guard)

flycheck-clang-tidy

Flycheck syntax checker using clang-tidy

dotfiles

.github

ambicam

Extracting LED Colors for "AmbiLight"-Clones using a RaspberryPi, the PiCamera and OpenCV

aoc-2021

Same procedure as every year.. this time in rust.

aoc-2023

Maybe I'll get it done this year..

cardano-configurations

A common place for finding / maintaining configurations of various services of the Cardano eco-system

cardano-node

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

cardano-updates

carp

A modular indexer for Cardano with an SQL Postgres backend

ci-ops

CIPs

developer-portal

The Cardano Developer Portal

devx

The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).

doom-emacs

An Emacs framework for the stubborn martian hacker

emacs-format-all-the-code

Auto-format source code in many languages with one command

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

hydra

Proof of concept for the Hydra Head protocol :construction_worker:

hydra-spec

Merged into https://github.com/input-output-hk/hydra as spec/

io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

kupo

🐹 Fast, lightweight & configurable chain-index for Cardano.

lsp-treemacs

lsp-mode :heart: treemacs

marlowe-cardano

Marlowe smart contract language Cardano implementation

melpa

Scripts for building Emacs packages from Version Control

plfa.github.io

An introduction to programming language theory in Agda

plu-ts-docs

plutus-apps

The Plutus application platform

snet-demo

wormhole