- Somewhere in the Alps, Austria
- ncoding.at
- @ch1bo_
-
dotfiles Public
-
mdbook-mermaid Public
Forked from badboy/mdbook-mermaidA preprocessor for mdbook to add mermaid support
Rust Mozilla Public License 2.0 UpdatedSep 11, 2024 -
garmin-otp-authenticator Public
Garmin ConnectIQ Widget for One Time Passwords (HOTP / TOTP / Steam Guard)
-
ncoding.at Public archive
Old personal website; moved into https://github.com/ch1bo/dotfiles
CSS UpdatedAug 26, 2024 -
-
ambicam Public
Extracting LED Colors for "AmbiLight"-Clones using a RaspberryPi, the PiCamera and OpenCV
Python Mozilla Public License 2.0 UpdatedJun 15, 2024 -
kupo Public
Forked from CardanoSolutions/kupo🐹 Fast, lightweight & configurable chain-index for Cardano.
Haskell Mozilla Public License 2.0 UpdatedJun 14, 2024 -
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedJun 12, 2024 -
doom-workers Public
Forked from cloudflare/doom-workersWebsite and Message Router source code for the Multiplayer Doom on Cloudflare Workers tech demo
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedMay 14, 2024 -
io-sim Public
Forked from input-output-hk/io-simHaskell's IO simulator which closely follows core packages (base, async, stm).
Haskell Apache License 2.0 UpdatedJan 31, 2024 -
devx Public
Forked from input-output-hk/devxThe 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…
Nix Apache License 2.0 UpdatedJan 3, 2024 -
-
hydra Public
Forked from cardano-scaling/hydraProof of concept for the Hydra Head protocol 👷
Haskell Apache License 2.0 UpdatedNov 13, 2023 -
melpa Public
Forked from melpa/melpaScripts for building Emacs packages from Version Control
Emacs Lisp Other UpdatedSep 20, 2023 -
-
haskell.nix Public
Forked from input-output-hk/haskell.nixAlternative Haskell Infrastructure for Nixpkgs
Nix Apache License 2.0 UpdatedJun 16, 2023 -
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedJun 5, 2023 -
hydra-spec Public archive
Merged into https://github.com/input-output-hk/hydra as spec/
TeX Apache License 2.0 UpdatedApr 11, 2023 -
emacs-format-all-the-code Public
Forked from lassik/emacs-format-all-the-codeAuto-format source code in many languages with one command
Emacs Lisp MIT License UpdatedMar 13, 2023 -
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs framework for the stubborn martian hacker
Emacs Lisp MIT License UpdatedFeb 6, 2023 -
lsp-treemacs Public
Forked from emacs-lsp/lsp-treemacslsp-mode ❤️ treemacs
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 3, 2023 -
-
-
-
cardano-updates Public
Forked from IntersectMBO/cardano-updatesHaskell Apache License 2.0 UpdatedOct 19, 2022 -
developer-portal Public
Forked from cardano-foundation/developer-portalThe Cardano Developer Portal
JavaScript MIT License UpdatedOct 11, 2022 -
marlowe-cardano Public
Forked from input-output-hk/marlowe-cardanoMarlowe smart contract language Cardano implementation
Haskell Apache License 2.0 UpdatedOct 10, 2022 -
cardano-configurations Public
Forked from input-output-hk/cardano-configurationsA common place for finding / maintaining configurations of various services of the Cardano eco-system
UpdatedAug 16, 2022 -
-
carp Public
Forked from dcSpark/carpA modular indexer for Cardano with an SQL Postgres backend
Rust MIT License UpdatedMay 25, 2022