Pinned Repositories
api-evolution-data-corpus
This corpus contains examples of "all" possible syntactic API changes in Java.
construction-site-simulation
ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
ethereum-storage-analysis
This repository contains a couple of scripts to analyse Ethereum database
go-ethereum
Patched go implementation of the Ethereum protocol
go-opera
jersey
Eclipse Jersey Project - Read our Wiki:
jet
Semestrální práce na předmět KIV/JET.
library-sample
simple-booking-study
A simple case study demonstrating Maven incapibilities to deal with certain dependencies inconsystencies
kjezek's Repositories
kjezek/api-evolution-data-corpus
This corpus contains examples of "all" possible syntactic API changes in Java.
kjezek/ethereum-storage-analysis
This repository contains a couple of scripts to analyse Ethereum database
kjezek/simple-booking-study
A simple case study demonstrating Maven incapibilities to deal with certain dependencies inconsystencies
kjezek/construction-site-simulation
kjezek/ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
kjezek/go-ethereum
Patched go implementation of the Ethereum protocol
kjezek/go-opera
kjezek/jersey
Eclipse Jersey Project - Read our Wiki:
kjezek/jet
Semestrální práce na předmět KIV/JET.
kjezek/library-sample
kjezek/memory-benchmark
kjezek/mongodb-relationships-with-spring
MongoDB relationships with Spring Data
kjezek/oci-java-sdk
Oracle Cloud Infrastructure SDK for Java
kjezek/opencontrol
Program pro skladove hospodarstvi
kjezek/optimised-mpt
kjezek/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
kjezek/ta4j
A Java library for technical analysis.
kjezek/twitter-feed
This code is used to build the TwitterFeedMicroservice.