Popular repositories Loading

1. CArrayIntrospection CArrayIntrospection Public

   Run analyses to determine array length invariants.

   C++ 6 1

2. llvm-tools llvm-tools Public

   Forked from travitch/llvm-tools

   A set of tools for visualizing and inspecting LLVM bitcode modules

   Haskell 2

3. whole-program-llvm whole-program-llvm Public

   Forked from travitch/whole-program-llvm

   A wrapper script to build whole-program LLVM bitcode files

   Python 2

4. paxos paxos Public

   Forked from drewhannay/paxos

   A simulator for the Paxos Protocol for consensus in distributed systems

   Java

5. archive-inspection archive-inspection Public

   Forked from travitch/archive-inspection

   A library providing a uniform interface to traversing the contents of tarballs and zip archives

   Haskell

6. hbgl-experimental hbgl-experimental Public

   Forked from travitch/hbgl-experimental

   An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)

   Haskell