Pinned

1. facebook/infer facebook/infer Public

   A static analyzer for Java, C, C++, and Objective-C

   OCaml 14.7k 2k

2. facebookarchive/facebook-clang-plugins facebookarchive/facebook-clang-plugins Public archive

   Plugins to clang-analyzer and clang-frontend

   C++ 482 92

3. skiplist skiplist Public

   An implementation of a sorted map using a skip list. It is benchmarked with caliper against Java's TreeMap.

   Java 9 4

4. TopCoder TopCoder Public

   Topcoder practice problems

   Java 9 5

5. Write-yourself-a-Scheme-in-48-hours Write-yourself-a-Scheme-in-48-hours Public

   A Scheme interpreter in Haskell

   Haskell 8 2

6. project-euler project-euler Public

   My solutions to project euler

   Java 5