Popular repositories Loading

1. cuda-sat-solver cuda-sat-solver Public

   An implementation of a SAT solver using the CUDA library

   C++ 15 2

2. diff_match_patch diff_match_patch Public

   C++11 port of the Diff, Match and Patch libraries for Plain Text.

   C++ 12 7

3. CoqCertifiedCompiler CoqCertifiedCompiler Public

   A compiler for a very simple language, certified in Coq

   Coq 3

4. GooglifyCMake GooglifyCMake Public

   A project that allows using CMake like Blaze (Google's build system) for C++, Objective-C, Java, Python and R.

   C++ 3

5. SimpleMLCompiler SimpleMLCompiler Public

   Compiler for a subset of ML

   OCaml 2

6. shark shark Public

   Fork of the Shark Machine Learning Library

   C++ 2 3