GitHub is home to over 31 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Static analysis framework for EVM bytecode
Deep Reinforcement Learning of Marked Temporal Point Processes
Code and real data for "Enhancing Human Learning via Spaced Repetition Optimization", PNAS 2019
Generic model checker for concurrent C programs
Code and data for "Stochastic Optimal Control of Epidemic Processes in Networks", ML4H at NeurIPS 2018
Various tools to help analysts get the best use of Diffix
An implementation of the Nasri & Brandenburg (2017) schedulability test for non-preemptive job sets
Tool for differentially testing soundness and precision of program analyzers
A framework for analysis and optimization of numerical programs
RedQueen: An Online Algorithm for Smart Broadcasting on Social Networks
Hierarchical Dirichlet-Hawkes process: generative model and inference algorithm
Code and data for "NeVAE: A Deep Generative Model for Molecular Graphs", AAAI 2019
Python code for training fair logistic regression classifiers.