Kristijan Šarić's repositories
cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
covid-19-analysis
A simple analysis and visualization of the COVID-19 situation
remax-house-pricing
ML project for the analysis of the pricing market
configuration-presentation
The example for the presentation at IOHK
stack-hpc-coveralls
Coveralls support for Stack projects
canonical-json
Canonical JSON for signing and hashing JSON values
reflex-platform
Reflex 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 established Haskell techniques and improving the quality and elegance of your applications.
tig
Git model using property-based testing
dbgen
Generate synthetic but valid Cardano wallet databases for performance testing
cabal2nix
Generate Nix build instructions from a Cabal file
iohk-nixops
NixOps deployment configuration for Cardano SL
bronze-linker
GHC gold-linker bug reproduction
DbTester
A simple database tester
guice
Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 6 and above, brought to you by Google.
Galileo
Persist nmap data to DB and view it after
Statistics
Statistics