raduom

IOHKCluj Napoca

Pinned Repositories

binance-spot-connector-rust
Language:Rust00
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:Haskell0 0 00
dotfiles
Language:Vim Script1 0 00
hysterical-screams
Language:Haskell1 2 00
raduom.github.io
Language:HTML0 0 10
reagan
Language:C1 0 00
haskell-backend
The symbolic execution engine powering the K Framework
Language:Haskell214 38 1.3k43

raduom's Repositories

raduom/dotfiles
Language:Vim Script1 0 00
raduom/hysterical-screams
Language:Haskell1 2 00
raduom/reagan
Language:C1 0 00
raduom/binance-spot-connector-rust
Language:Rust00
raduom/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:Haskell0 0 00
raduom/darcula
A Vim color scheme reproduction of the official JetBrains IDE Darcula theme
Language:Vim script0 0 00
raduom/raduom.github.io
Language:HTML0 0 10
raduom/plutus
The Plutus language implementation and tools
Language:HTML0 0
raduom/plutus-apps
The Plutus application platform
Language:Haskell0 0
raduom/rust-downloader
Language:Rust1 0
raduom/tdd-algs-example
Language:Java0 0
raduom/trial-chain
ADD Practice
Language:Haskell1 0
raduom/wallpapers
A lot of people ask for the wallpapers/backgrounds in my videos or that I use as decor. Here they all are!