ekarayel

sync-mht

Synchronize directory hierarchies using Hash-Tree's

SetDifferenceEstimator

estimate the difference between distributed sets

bell-asymptotics

codecov-haskell

codecov.io support for haskell code coverage with hpc

codeworld

Educational computer programming environment using Haskell

concentration-inequalities

Isabelle formalizations of important advanced concentration inequalities

configure-helper

distributed-distinct-elements-formalization

ekarayel.github.io

experimental

frequency_moments

Formal verification of randomized streaming algorithms for frequency moments.

finite_fields

gpp

GPP, a generic preprocessor

HTF

Haskell Test Framework

language-haskell

Haskell language support for Atom

PAP_Randomization

A repo for the TUM practical course PAP, aiming for verification of randomized closest pair algorithm.

protobuf

Runtime library for Dart protobufs

random_code_gen

Code generation for randomized algorithms in Isabelle

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.