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 analysis and transformation API.

• UpdatedMar 17, 2025
• Java

HACL*, a formally verified cryptographic library written in F*

• UpdatedMar 16, 2025
• F*

Learn how identifiable you are on the Internet

• UpdatedSep 3, 2020
• JavaScript

Fonts and UFO Masters of Inria Serif and Inria Sans Typeface

• UpdatedDec 8, 2021
• HTML

Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞

• UpdatedDec 12, 2023
• Java

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 Analysis (FEA).

• UpdatedMar 17, 2025
• C++

PowerAPI is a Python framework for building software-defined power meters.

• UpdatedMar 14, 2025
• Python

Automatic program repair for Java with generate-and-validate techniques ✌️✌️: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

• UpdatedNov 29, 2024
• Java

Descartes supports developers to improve their test suites by reporting weak spots in covered code

• UpdatedMar 2, 2025
• Java

Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)

• UpdatedAug 7, 2024
• Java

Software platform implementing and extending the standards of the Semantic Web.

• UpdatedJan 28, 2025
• Java

Paper Augmented Reality Toolkit - interactive projection for Processing

• UpdatedAug 2, 2023
• Java

A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis

• UpdatedNov 13, 2024
• Java

PowerAPI is a middleware toolkit for building software-defined power meters

• UpdatedJul 1, 2018
• Scala

Inject environment variables in process.env with Rollup

• UpdatedJan 5, 2023
• TypeScript

Maven plugin to handle multi module projects for PiTest

• UpdatedMay 17, 2023
• Java

A library to handle the *.meshb file format.

• UpdatedFeb 28, 2025
• C

Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs

• UpdatedJan 31, 2022
• Python

Repo of code for FPStalker article

• UpdatedNov 21, 2017
• Python

SmartWatts is a formula for a self-adaptive software-defined power meter based on the PowerAPI framework.

• UpdatedMar 17, 2025
• Python