Popular repositories

1. dettrace dettrace Public

   A determinizing tracer using Ptrace

   C++ 31 8

2. hobbits hobbits Public

   Forked from eddywestbrook/hobbits

   A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.

   Haskell