mantognini Goto Github PK
Name: Marco Borgeaud
Type: User
Name: Marco Borgeaud
Type: User
Tiny Scala library to generate class files for the JVM
Clspv is a prototype compiler for a subset of OpenCL C to Vulkan compute shaders
Experimental implementation of OpenCL on Vulkan
Container view for C++ container (e.g. std::vector) with read-write or read-only access, and smart with container of shared_ptr.
CS-422 Database Systems (Spring 2016)
Foundations of Software 2014-2015 by Fred and Marco
Slides and report for GenC project in Leon
A performance comparison with Thrust
CS-430 Intelligent Agents
A Java binding for SFML
The Leon system for verification, synthesis, and more.
Large-scale Information Extraction from Neuroscientific Literature
An LLVM backend generating SPIR-V binary.
The OpenCL Conformance Tests
OpenCL API, Extensions, and Environment Spec sources.
PCML 2015 class, group Hanoi (Fred & Marco)
Basic Mac Software to rename photos with a custom date based on one of its properties.
Rich text class for SFML2. Allows the user to draw lines of text with different styles and colors.
Scala library for parsing and printing the SMT-LIB format
Scala Parallel Collections VS GPU Frameworks
An interactive playground for Scala
SFML's Buildbot configuration
Small program made to test events and window features of SFML
Test out joysticks in SFML.
Bunch of tools for SFML application development
Presentation Slides for Solving Shape-Analysis Problems in Languages with Destructive Updating
a few templates to make life easier !
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.