ch1bo
I am freelance software engineer, get excited about functional programming languages and currently work on projects in the blockchain space.
Somewhere in the Alps, Austria
Pinned Repositories
hydra
Implementation of the Hydra Head protocol
.github
ambicam
Extracting LED Colors for "AmbiLight"-Clones using a RaspberryPi, the PiCamera and OpenCV
bright-colors
dotfiles
flycheck-clang-tidy
Flycheck syntax checker using clang-tidy
garmin-otp-authenticator
Garmin ConnectIQ Widget for One Time Passwords (HOTP / TOTP / Steam Guard)
integer-openssl
Implementation of the 'GHC.Integer' type using the OpenSSL's arbitrary size integer library.
nginx-jwt
C module to issue JSON Web Tokens (JWT) as JSON Web Signature (JWS) payload (RFC 7519)
servant-exceptions
Extensible exceptions for servant
ch1bo's Repositories
ch1bo/garmin-otp-authenticator
Garmin ConnectIQ Widget for One Time Passwords (HOTP / TOTP / Steam Guard)
ch1bo/dotfiles
ch1bo/.github
ch1bo/ambicam
Extracting LED Colors for "AmbiLight"-Clones using a RaspberryPi, the PiCamera and OpenCV
ch1bo/aoc-2023
Maybe I'll get it done this year..
ch1bo/cardano-configurations
A common place for finding / maintaining configurations of various services of the Cardano eco-system
ch1bo/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
ch1bo/cardano-updates
ch1bo/carp
A modular indexer for Cardano with an SQL Postgres backend
ch1bo/ci-ops
ch1bo/cv
ch1bo/developer-portal
The Cardano Developer Portal
ch1bo/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).
ch1bo/doom-emacs
An Emacs framework for the stubborn martian hacker
ch1bo/doom-workers
Website and Message Router source code for the Multiplayer Doom on Cloudflare Workers tech demo
ch1bo/emacs-format-all-the-code
Auto-format source code in many languages with one command
ch1bo/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
ch1bo/hydra
Proof of concept for the Hydra Head protocol :construction_worker:
ch1bo/hydra-spec
Merged into https://github.com/input-output-hk/hydra as spec/
ch1bo/io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
ch1bo/kupo
🐹 Fast, lightweight & configurable chain-index for Cardano.
ch1bo/lsp-treemacs
lsp-mode :heart: treemacs
ch1bo/marlowe-cardano
Marlowe smart contract language Cardano implementation
ch1bo/mdbook-mermaid
A preprocessor for mdbook to add mermaid support
ch1bo/melpa
Scripts for building Emacs packages from Version Control
ch1bo/ncoding.at
Old personal website; moved into https://github.com/ch1bo/dotfiles
ch1bo/plfa.github.io
An introduction to programming language theory in Agda
ch1bo/plu-ts-docs
ch1bo/snet-demo
ch1bo/wormhole