-
cardano-ledger-specs Public
Forked from IntersectMBO/cardano-ledgerA formal specification and executable model of the ledger rules introduced by the Shelley release
Haskell Apache License 2.0 UpdatedJun 1, 2020 -
-
covid-19-analysis Public
A simple analysis and visualization of the COVID-19 situation
-
remax-house-pricing Public
ML project for the analysis of the pricing market
-
configuration-presentation Public
The example for the presentation at IOHK
-
stack-hpc-coveralls Public
Forked from rubik/stack-hpc-coverallsCoveralls support for Stack projects
Haskell ISC License UpdatedSep 18, 2019 -
canonical-json Public
Forked from well-typed/canonical-jsonCanonical JSON for signing and hashing JSON values
Haskell Other UpdatedOct 26, 2018 -
reflex-platform Public
Forked from reflex-frp/reflex-platformReflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with est…
Nix BSD 3-Clause "New" or "Revised" License UpdatedOct 10, 2018 -
tig Public
Git model using property-based testing
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 27, 2018 -
dbgen Public
Forked from adinapoli-iohk/dbgenGenerate synthetic but valid Cardano wallet databases for performance testing
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 12, 2018 -
-
cabal2nix Public
Forked from NixOS/cabal2nixGenerate Nix build instructions from a Cabal file
Haskell Other UpdatedNov 21, 2017 -
iohk-nixops Public
Forked from input-output-hk/iohk-opsNixOps deployment configuration for Cardano SL
Nix UpdatedJul 10, 2017 -
-
bronze-linker Public
GHC gold-linker bug reproduction
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 11, 2017 -
-
guice Public
Forked from google/guiceGuice (pronounced 'juice') is a lightweight dependency injection framework for Java 6 and above, brought to you by Google.
Java Apache License 2.0 UpdatedJun 23, 2016 -
-
-
-