HerbertJordan

cpp_empty

An empty base project for future C++ projects including cmake and gtest configuration.

parec

A collection of parallel recursive algorithms.

uibk_epa_18

Material for introduction to parallel computing and parallel algorithms at the university of Innsbruck, summer semester 2018

cpp_empty_with_utils

fusion

datalog_benchmarks

ds_bench

A set of micro benchmarks for B-tree and brie data structures.

evmc

EVMC – Ethereum Client-VM Connector API

evmone

Fast Ethereum Virtual Machine implementation

go-ethereum

My personal dev/test-fork

go-ethereum-substate

inncabs

The Innsbruck C++11 Async Benchmark Suite

insieme

The Insieme Compiler and Runtime Infrastructure

JimCat

A Java based image management application

lachesis-base

Lachesis aBFT consensus algorithm library

otest

OCaml testing framework

rapidsvg

Renders SVG files containing lines very quickly.

souffle

Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

specialfunctions

C++ work on implementing special functions

substate-cli