The cardano-ledger from iburzynski

View Code? Open in Web Editor NEW

The ledger implementation and specifications of the Cardano blockchain.

License: Apache License 2.0

Shell 0.04% Ruby 0.01% C++ 0.10% Perl 0.01% C 0.16% Haskell 80.04% TeX 18.53% Nix 0.59% Makefile 0.19% Rich Text Format 0.33% Dhall 0.01%

cardano-ledger's Introduction

👋 Je suis Ian (🇺🇸John/🇫🇷Jean/🇲🇽Juan/🇵🇱Jan)
👨‍🎓 Mon alma mater a été formée à l'Université McGill (Montréal, Québec) 📯✝️ ➡️ 📯⚖️
⚜️ Je préfère écrire en Français (essayez s.v.p!). Espagnol ou Anglais O.K.

🎓 Je travaille comme instructeur de blockchain <> futur-👨‍🏭-ingénieur @EMURGO Academy.
🦄 Ma machine à écrire est une System76 Lungta Ashwagandha, en cours d'exécution 🎅🏿's OS ❄️.
👨‍💻 Nous programmons dans {🌳Aiken, λ Haskell, TypeScript, 🐍} (actuellement).
📿 We are now accepting callers for these beautiful pendant keychains!
📵 We are NOT accepting callers for employment offers or projects!

🇵🇸 Je reste en Nouvelle-Angleterre (☠️) et Palestine (🐦‍🔥).
🏇 J'ai trente-sept ans.
👫 Je suis marié depuis 📯🌞! (🤟,✌️)
📿 Ma religion est un soufisme pan-abrahamique.
👁️‍🗨️ J'aime (non-)philosophie, programmation fonctionnelle & pédagogie.
🪺 J'explore actuellement la logique intuitionniste avec 🐓.
💞️ I’m looking to connect with other philo-fictional engineers (bonus points for reading Laruelle or Negarestani).