Popular repositories Loading

1. lambda-hol lambda-hol Public

   A fork of https://github.com/stuart-marks/LambdaHOLv2 to use Maven instead of Ant

   Java 3 5

2. inlining-benchmarks inlining-benchmarks Public

   Java

3. lambda-hol-perso lambda-hol-perso Public

   My take on https://github.com/stuart-marks/LambdaHOLv2

   Java

4. datadog-go datadog-go Public

   Forked from DataDog/datadog-go

   go dogstatsd client library for datadog

   Go