View Code? Open in Web Editor
NEW
This project forked from intersectmbo/cardano-ledger
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).
- 🐬 In the province of the mind there are no limits.
cardano-ledger's People
Watchers