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