Marco Antognini (mantognini)

mantognini

Geek Repo

Github PK Tool:Github PK Tool


Organizations
epfl-lara
lampepfl
SFML
sherlok

Marco Antognini's repositories

sftools

Bunch of tools for SFML application development

scala-vs-gpu

Scala Parallel Collections VS GPU Frameworks

ContainerView

Container view for C++ container (e.g. std::vector) with read-write or read-only access, and smart with container of shared_ptr.

GenC

Slides and report for GenC project in Leon

Language:CLicense:MITStargazers:2Issues:0Issues:0

PhotoOrganizer

Basic Mac Software to rename photos with a custom date based on one of its properties.

Language:Objective-CStargazers:2Issues:0Issues:0

Database-Systems

CS-422 Database Systems (Spring 2016)

Language:ScalaStargazers:1Issues:0Issues:0

funsoft

Foundations of Software 2014-2015 by Fred and Marco

Language:ScalaStargazers:1Issues:0Issues:0

Image-Skeletonisation

A performance comparison with Thrust

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

Intelligent-Agents

CS-430 Intelligent Agents

Language:HTMLStargazers:1Issues:0Issues:0

JSFML

A Java binding for SFML

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:0

LIENL

Large-scale Information Extraction from Neuroscientific Literature

Language:TeXStargazers:1Issues:3Issues:0

RichText

Rich text class for SFML2. Allows the user to draw lines of text with different styles and colors.

Language:C++Stargazers:1Issues:0Issues:0

cafebabe

Tiny Scala library to generate class files for the JVM

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

clspv

Clspv is a prototype compiler for a subset of OpenCL C to Vulkan compute shaders

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

clvk

Experimental implementation of OpenCL on Vulkan

License:Apache-2.0Stargazers:0Issues:0Issues:0

leon

The Leon system for verification, synthesis, and more.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

LLVM-SPIRV-Backend

An LLVM backend generating SPIR-V binary.

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

OpenCL-CTS

The OpenCL Conformance Tests

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

OpenCL-Docs

OpenCL API, Extensions, and Environment Spec sources.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

PCML-Hanoi

PCML 2015 class, group Hanoi (Fred & Marco)

Language:MatlabStargazers:0Issues:0Issues:0

scala-smtlib

Scala library for parsing and printing the SMT-LIB format

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

scastie

An interactive playground for Scala

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

SFML-Buildbot

SFML's Buildbot configuration

Language:HTMLStargazers:0Issues:0Issues:0

SFML-Test-Events

Small program made to test events and window features of SFML

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

SFMLJoystickTestbed

Test out joysticks in SFML.

Language:C++License:MITStargazers:0Issues:0Issues:0

ssapldu

Presentation Slides for Solving Shape-Analysis Problems in Languages with Destructive Updating

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

Xcode-4-Templates

a few templates to make life easier !

Language:C++Stargazers:0Issues:0Issues:0