mantognini

Pinned Repositories

stainless
Verification framework and tool for higher-order Scala programs
Language:Scala351 19 70051
ContainerView
Container view for C++ container (e.g. std::vector) with read-write or read-only access, and smart with container of shared_ptr.
Language:C++2 4 51
GenC
Slides and report for GenC project in Leon
Language:C2 3 00
Image-Skeletonisation
A performance comparison with Thrust
Language:C++1 2 00
LIENL
Large-scale Information Extraction from Neuroscientific Literature
Language:TeX1 3 00
PhotoOrganizer
Basic Mac Software to rename photos with a custom date based on one of its properties.
Language:Objective-C20
scala-vs-gpu
Scala Parallel Collections VS GPU Frameworks
Language:C++5 2 81
sftools
Bunch of tools for SFML application development
Language:C++16 4 13
SFML
Simple and Fast Multimedia Library
Language:C++10.1k 344 1.3k1.7k

mantognini's Repositories

mantognini/sftools
Bunch of tools for SFML application development
Language:C++16 4 13
mantognini/scala-vs-gpu
Scala Parallel Collections VS GPU Frameworks
Language:C++5 2 81
mantognini/ContainerView
Container view for C++ container (e.g. std::vector) with read-write or read-only access, and smart with container of shared_ptr.
Language:C++2 4 51
mantognini/GenC
Slides and report for GenC project in Leon
Language:C2 3 00
mantognini/PhotoOrganizer
Basic Mac Software to rename photos with a custom date based on one of its properties.
Language:Objective-C20
mantognini/Database-Systems
CS-422 Database Systems (Spring 2016)
Language:Scala1 2 0
mantognini/funsoft
Foundations of Software 2014-2015 by Fred and Marco
Language:Scala1 2 21
mantognini/Image-Skeletonisation
A performance comparison with Thrust
Language:C++1 2 00
mantognini/Intelligent-Agents
CS-430 Intelligent Agents
Language:HTML14
mantognini/JSFML
A Java binding for SFML
Language:C++1 2 0
mantognini/LIENL
Large-scale Information Extraction from Neuroscientific Literature
Language:TeX1 3 00
mantognini/RichText
Rich text class for SFML2. Allows the user to draw lines of text with different styles and colors.
Language:C++1
mantognini/cafebabe
Tiny Scala library to generate class files for the JVM
Language:Scala2 0
mantognini/clspv
Clspv is a prototype compiler for a subset of OpenCL C to Vulkan compute shaders
Language:C
mantognini/clvk
Experimental implementation of OpenCL on Vulkan
Language:C++1 0
mantognini/leon
The Leon system for verification, synthesis, and more.
Language:Scala
mantognini/LLVM-SPIRV-Backend
An LLVM backend generating SPIR-V binary.
Language:C++1
mantognini/OpenCL-CTS
The OpenCL Conformance Tests
Language:C++
mantognini/OpenCL-Docs
OpenCL API, Extensions, and Environment Spec sources.
Language:JavaScript1 0
mantognini/PCML-Hanoi
PCML 2015 class, group Hanoi (Fred & Marco)
Language:Matlab
mantognini/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Language:Scala
mantognini/scastie
An interactive playground for Scala
Language:Scala
mantognini/SFML-Buildbot
SFML's Buildbot configuration
Language:HTML2 0
mantognini/SFML-Test-Events
Small program made to test events and window features of SFML
Language:C++
mantognini/SFMLJoystickTestbed
Test out joysticks in SFML.
Language:C++2 0
mantognini/ssapldu
Presentation Slides for Solving Shape-Analysis Problems in Languages with Destructive Updating
Language:TeX3 0
mantognini/Xcode-4-Templates
a few templates to make life easier !
Language:C++2 1