bradbury

trax

Trax — Deep Learning with Clear Code and Speed

FLAKYCAT

Threaded-Paws

CANdevStudio

Development tool for CAN bus simulation

opendbc

democratize access to car decoder rings

blockly-games

Games for tomorrow's programmers.

covid-alert-app

Exposure notification client application / Application client de notification d'exposition

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

buildmeteo

HIP

HIP: C++ Heterogeneous-Compute Interface for Portability

keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.

OpenCL-CLHPP

Khronos OpenCL-CLHPP

SPIRV-Tools

SyclParallelSTL

Open Source Parallel STL implementation

CNTK

Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit

hyphaelia

The Decentralized Trustable Message-Thread Platform

github-cheat-sheet

A list of cool features of Git and GitHub.

maple

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

docsight

Chrome extension for viewing past visits to developer resource sites, such as Stack Overflow Questions

LaTeXTools

LaTeX plugin for Sublime Text

Pydev

Python IDE for Eclipse

master-thesis

M.Sc. Thesis on "Predicting Mutation Scores using Source Code and Test Suite Metrics"

ConMAn

A concurrency mutant generation tool for mutation testing concurrent Java.

gitignore

A collection of useful .gitignore templates