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,072 commits to master branch, last one a day ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,791 commits to main branch, last one 12 days 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
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
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,765 commits to stable branch, last one 9 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,801 commits to master branch, last one 2 months ago
PowerAPI is a Python framework for building software-defined power meters.
Created
2019-03-11
2,106 commits to master branch, last one a day ago
Descartes supports developers to improve their test suites by reporting weak spots in covered code
Created
2017-01-11
391 commits to master branch, last one 9 months 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 5 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 a day 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 2 months ago
Inject environment variables in process.env with Rollup
Created
2019-11-27
20 commits to master branch, last one 4 years ago