Popular repositories Loading

1. souffle souffle Public

   Forked from souffle-lang/souffle

   Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…

   C++ 3 2

2. go-ethereum go-ethereum Public

   Forked from Fantom-foundation/go-ethereum

   Patched go implementation of the Ethereum protocol

   Go 1 1

3. b-scholz.github.io b-scholz.github.io Public

   HTML

4. parallel-lrt parallel-lrt Public

   Forked from qlinsey/parallel-lrt

   Public domain source code for parallization of Likelihood-ratio test in big data grid on GPGPU, Multi-core,Cloud Cluster

   TeX

5. homebrew-souffle homebrew-souffle Public

   Forked from souffle-lang/homebrew-souffle

   Brew Scripts

   Ruby

6. test test Public

   HTML