Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Python implementation for the tcc model checking
Reactive programming language for writing and executing interactive multimedia scenarios
A symbolic model checker for the NTCC calculus
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
PyHRF is a set of tools to analyze fMRI data and specifically study hemodynamics.
This repository will contain the first prototype for the implementation of the ReactiveSessions library.
153 contributions in the last year
Press h to open a hovercard with more details.