Sebastian Nagel's repositories
garmin-otp-authenticator
Garmin ConnectIQ Widget for One Time Passwords (HOTP / TOTP / Steam Guard)
flycheck-clang-tidy
Flycheck syntax checker using clang-tidy
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.
developer-portal
The Cardano Developer Portal
doom-emacs
An Emacs framework for the stubborn martian hacker
doom-workers
Website and Message Router source code for the Multiplayer Doom on Cloudflare Workers tech demo
emacs-format-all-the-code
Auto-format source code in many languages with one command
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
hydra-spec
Merged into https://github.com/input-output-hk/hydra as spec/
lsp-treemacs
lsp-mode :heart: treemacs
marlowe-cardano
Marlowe smart contract language Cardano implementation
plfa.github.io
An introduction to programming language theory in Agda
plutus-apps
The Plutus application platform