Popular repositories Loading

1. LLL-algorithm-for-FLINT LLL-algorithm-for-FLINT Public

   LLL implementation for FLINT

   C 1

2. OGDF OGDF Public

3. miniboxing-plugin miniboxing-plugin Public

   Forked from miniboxing/miniboxing-plugin

   Miniboxing is a lightweight approach to specializing generic classes in the Scala compiler. It revisits the current specialization transformation, but makes different choices aimed at reducing the …

   Java

4. miniboxing-experiments miniboxing-experiments Public

   Miniboxing-experiments for Spire library

   Scala 1

5. spire spire Public

   Forked from miniboxing/spire

   Powerful new number types and numeric abstractions for Scala.

   Scala

6. Dialogue Dialogue Public

   Java