Spoon is a metaprogramming library to analyze and transform Java source ...
HACL*, a formally verified cryptographic library written in F*
Learn how identifiable you are on the Internet
Software development bots for Github. Join the bot revolution! :star2::r...
Fonts and UFO Masters of Inria Serif and Inria Sans Typeface
Automatic program repair for Java with generate-and-validate techniques ...
PowerAPI is a Python framework for building software-defined power meters.
Automatically detect and generate missing assertions for Junit test case...
Paper Augmented Reality Toolkit - interactive projection for Processing
A tool for mining commits from Git repositories and diffs to automatica...
Software platform implementing and extending the standards of the Semant...
PowerAPI is a middleware toolkit for building software-defined power meters
Inject environment variables in process.env with Rollup
Maven plugin to handle multi module projects for PiTest
A library to handle the *.meshb file format.