PinnedLoading

1. SFML/SFMLSFML/SFMLPublic

   Simple and Fast Multimedia Library

   C++ 10.8k 1.8k

2. epfl-lara/stainlessepfl-lara/stainlessPublic

   Verification framework and tool for higher-order Scala programs

   Scala 372 56

3. scala-vs-gpuscala-vs-gpuPublic archive

   Scala Parallel Collections VS GPU Frameworks

   C++ 6 1

4. GenCGenCPublic archive

   Slides and report for GenC project in Leon

   C 2

5. Image-SkeletonisationImage-SkeletonisationPublic archive

   A performance comparison with Thrust

   C++ 1

6. LIENLLIENLPublic archive

   Large-scale Information Extraction from Neuroscientific Literature

   TeX 1