Radu Ometita's repositories
cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
darcula
A Vim color scheme reproduction of the official JetBrains IDE Darcula theme
ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
iohk-monitoring-framework
This framework provides logging, benchmarking and monitoring.
llvm-backend
KORE to llvm translation
plutus
The Plutus language implementation and tools
plutus-apps
The Plutus application platform
scilla
Scilla - A Smart Contract Intermediate Level Language
serialization
A micro-benchmark that compares some Haskell serialization libraries
tiger
Modern compiler implementation in ML / Haskell and Ocaml code
wallpapers
A lot of people ask for the wallpapers/backgrounds in my videos or that I use as decor. Here they all are!
