12 results found Sort:

INRIA
spoon INRIA
353
1.8k
other
59
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...
ast java inria java9 spoon java10 parser java-module code-analysis hacktoberfest code-generation metaprogramming static-analysis code-transformation abstract-syntax-tree compile-time-reflection
Created 2013-11-06
5,024 commits to master branch, last one 22 hours ago
hacl-star
hacl-star hacl-star
170
1.6k
apache-2.0
78
HACL*, a formally verified cryptographic library written in F*
hacl inria everest security cryptography verification formal-methods high-performance formal-verification verified-primitives
Created 2016-06-23
18,774 commits to main branch, last one 4 days ago
eclipse-repairnator
repairnator eclipse-repairnator
83
385
mit
32
Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:
ci bot kth java inria repair research open-science hacktoberfest program-repair
Created 2016-12-21
1,406 commits to master branch, last one about a year ago
BlackFoundryCom
InriaFonts BlackFoundryCom
19
379
ofl-1.1
11
Fonts and UFO Masters of Inria Serif and Inria Sans Typeface
ofl ufo fonts inria design typeface typedesign
Created 2018-01-02
25 commits to master branch, last one 3 years ago
SpoonLabs
astor SpoonLabs
107
208
gpl-2.0
12
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
kth inria patch repair program-repair dynamic-analysis patch-generation
Created 2014-10-01
1,801 commits to master branch, last one 22 days ago
powerapi-ng
powerapi powerapi-ng
36
205
bsd-3-clause
10
PowerAPI is a Python framework for building software-defined power meters.
inria energy python power-meter green-computing energy-monitoring
Created 2019-03-11
2,046 commits to master branch, last one 15 days ago
STAMP-project
pitest-descartes STAMP-project
21
126
lgpl-3.0
14
Descartes supports developers to improve their test suites by reporting weak spots in covered code
java h2020 inria pitest mutation-testing mutation-analysis
Created 2017-01-11
391 commits to master branch, last one 8 months ago
STAMP-project
dspot STAMP-project
28
114
lgpl-3.0
25
Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
java dspot h2020 inria junit coverage hacktoberfest test-automation test-amplification
Created 2016-02-11
752 commits to master branch, last one 4 months ago
Wimmics
corese Wimmics
29
105
other
19
Software platform implementing and extending the standards of the Semantic Web.
rdf java rdfs inria shacl sparql semantic-web sparql-client sparql-endpoints
Created 2015-05-27
9,089 commits to master branch, last one 9 months ago
natar-io
PapARt natar-io
20
100
lgpl-3.0
12
Paper Augmented Reality Toolkit - interactive projection for Processing
ar inria camera reality augmeted projector processing depth-camera camera-systems
Created 2016-08-25
1,141 commits to master branch, last one about a year ago
SpoonLabs
coming SpoonLabs
33
94
mit
5
A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis
kth inria ast-analysis mining-software-repositories
Created 2015-10-01
488 commits to master branch, last one about a month ago
badcafe
rollup-plugin-inject-process-env badcafe
5
51
mit
4
Inject environment variables in process.env with Rollup
inria rollup typescript rollup-plugin
Created 2019-11-27
20 commits to master branch, last one 4 years ago