Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful an...
HACL*, a formally verified cryptographic library written in F*
翻译 - HACL *，以F *编写的经过正式验证的密码库
Learn how identifiable you are on the Internet
Software development bots for Github. Join the bot revolution! 🌟:robot:🌟💞
G+Smo (pronounced gismo or gizmo) is a C++ library for isogeometric analysis (IGA). Geometry plus simulation modules aims at the seamless integration of Computer-aided Design (CAD) and Finite Element ...
PowerAPI is a Python framework for building software-defined power meters.
Automatic program repair for Java with generate-and-validate techniques ✌️✌️: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
Descartes supports developers to improve their test suites by reporting weak spots in covered code
Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
Software platform implementing and extending the standards of the Semantic Web.
Paper Augmented Reality Toolkit - interactive projection for Processing
A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis
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
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
SmartWatts is a formula for a self-adaptive software-defined power meter based on the PowerAPI framework.