Popular repositories Loading

1. clll clll Public

   Exact integer LLL lattice basis reduction in C99, built on GMP.

   C 3

2. Template-Meta-Programming-Practice Template-Meta-Programming-Practice Public

   A tutorial for template meta programming starters

   C++ 1

3. SimpleParser SimpleParser Public

   A simple parser for a simple language.

   Lean 1

4. magma_dimacs_cnf magma_dimacs_cnf Public

   A list of DIMACS CNF generators.

   C++ 1

5. ImprovedExponents ImprovedExponents Public

   Corresponding paper in `papers/improved-exponents/main.pdf`

   Lean 1 1

6. NNCPP NNCPP Public

   C++