herbertjordan Goto Github PK

cpp_empty

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

cpp_empty_with_utils

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

fusion

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

parec

A collection of parallel recursive algorithms.

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

uibk_epa_18

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