13 results found Sort:
- Filter by Primary Language:
- Java (8)
- C++ (1)
- F* (1)
- HTML (1)
- Python (1)
- TypeScript (1)
- +
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful an...
Created
2013-11-06
5,190 commits to master branch, last one a day ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,899 commits to main branch, last one 7 days ago
Fonts and UFO Masters of Inria Serif and Inria Sans Typeface
Created
2018-01-02
25 commits to master branch, last one 3 years ago
Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:
Created
2016-12-21
1,406 commits to master branch, last one about a year ago
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 ...
Created
2015-05-14
5,999 commits to stable branch, last one 6 days ago
PowerAPI is a Python framework for building software-defined power meters.
Created
2019-03-11
2,263 commits to master branch, last one 5 days ago
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
Created
2014-10-01
1,803 commits to master branch, last one 21 days ago
Descartes supports developers to improve their test suites by reporting weak spots in covered code
Created
2017-01-11
392 commits to master branch, last one about a month ago
Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
Created
2016-02-11
752 commits to master branch, last one 8 months ago
Software platform implementing and extending the standards of the Semantic Web.
This repository has been archived
(exclude archived)
Created
2015-05-27
9,094 commits to master branch, last one 2 months ago
Paper Augmented Reality Toolkit - interactive projection for Processing
Created
2016-08-25
1,141 commits to master branch, last one about a year ago
A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis
Created
2015-10-01
488 commits to master branch, last one 5 months ago
Inject environment variables in process.env with Rollup
Created
2019-11-27
20 commits to master branch, last one 4 years ago