Radu Ometita (raduom)

raduom

Geek Repo

Company:IOHK

Location:Cluj Napoca

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Radu Ometita's repositories

Language:Vim scriptStargazers:1Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0
Language:CLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:3

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:0Issues:0

darcula

A Vim color scheme reproduction of the official JetBrains IDE Darcula theme

Language:Vim scriptStargazers:0Issues:0Issues:0

ImperativeHaskell

Proof that Haskell can look and act like an imperative language.

License:NOASSERTIONStargazers:0Issues:0Issues:0

iohk-monitoring-framework

This framework provides logging, benchmarking and monitoring.

License:Apache-2.0Stargazers:0Issues:0Issues:0

llvm-backend

KORE to llvm translation

Language:LLVMStargazers:0Issues:0Issues:0

plutus

The Plutus language implementation and tools

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:0Issues:0

plutus-apps

The Plutus application platform

License:Apache-2.0Stargazers:0Issues:0Issues:0

scilla

Scilla - A Smart Contract Intermediate Level Language

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0

serialization

A micro-benchmark that compares some Haskell serialization libraries

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

tiger

Modern compiler implementation in ML / Haskell and Ocaml code

Language:OCamlStargazers:0Issues:0Issues:0

wallpapers

A lot of people ask for the wallpapers/backgrounds in my videos or that I use as decor. Here they all are!

Stargazers:0Issues:0Issues:0