Popular repositories Loading

1. SparseCUDA SparseCUDA Public

   Cuda multifrontal and CG solver for sparse matrices

   C++ 7

2. Simple-Scala-Server Simple-Scala-Server Public

   A simple implementation of a web server in scala.

   Scala 4 1

3. QrMarker-ComputerVision QrMarker-ComputerVision Public

   A simple QR marker detector using GLSL

   Java 3 1

4. Work-Function-Algorithm Work-Function-Algorithm Public

   C++ implementation of the work function algorithm

   C++ 2

5. Cpunf-ModelCheck Cpunf-ModelCheck Public

   Model checking through contextual net unfolding

   Scala 2

6. Lambda-Ineterpreter Lambda-Ineterpreter Public

   A simple lambda calculus interpreter written in scala

   Scala 1