hacl-star/hacl-star

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

Language: F* - Size: 567 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 1,732 - Forks: 177

INRIA/spoon

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

Language: Java - Size: 34.4 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,805 - Forks: 362

gismo/gismo

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).

Language: C++ - Size: 238 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 374 - Forks: 91

powerapi-ng/smartwatts-formula

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

Language: Python - Size: 655 KB - Last synced at: 13 days ago - Pushed at: 15 days ago - Stars: 32 - Forks: 19

powerapi-ng/powerapi

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

Language: Python - Size: 7.42 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 216 - Forks: 41

powerapi-ng/hwpc-sensor

Hardware Performance Counters monitoring agent for containers.

Language: C - Size: 425 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 14 - Forks: 16

LoicMarechal/GMlib

Porting meshing tools and solvers that deal with unstructured meshes on GPUs

Language: C - Size: 268 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 16 - Forks: 5

SpoonLabs/astor

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

Language: Java - Size: 235 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 210 - Forks: 107

Naereen/phd-thesis

My PhD thesis. I defended on the 20th of November! See https://perso.crans.org/besson/phd/defense/ ! More on https://perso.crans.org/besson/research.en.html

Language: TeX - Size: 64.1 MB - Last synced at: 15 days ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 1

Spirals-Team/docker-machine-driver-g5k

Docker Machine driver for the Grid'5000 testbed infrastructure.

Language: Go - Size: 156 KB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 13 - Forks: 5

Wimmics/corese 📦

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

Language: Java - Size: 68 MB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 112 - Forks: 29

DIVERSIFY-project/amiunique

Learn how identifiable you are on the Internet

Language: JavaScript - Size: 7.23 MB - Last synced at: 21 days ago - Pushed at: over 4 years ago - Stars: 692 - Forks: 91

STAMP-project/dspot

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

Language: Java - Size: 27.1 MB - Last synced at: 29 days ago - Pushed at: 9 months ago - Stars: 117 - Forks: 29

SpoonLabs/coming

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

Language: Java - Size: 116 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 95 - Forks: 33

LoicMarechal/LPlib

A parallelization framework for numerical simulation

Language: C - Size: 204 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 11 - Forks: 3

eclipse-repairnator/repairnator

Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:

Language: Java - Size: 58.7 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 386 - Forks: 84

natar-io/PapARt

Paper Augmented Reality Toolkit - interactive projection for Processing

Language: Java - Size: 469 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 99 - Forks: 20

Spirals-Team/FPStalker

Repo of code for FPStalker article

Language: Python - Size: 133 MB - Last synced at: 17 days ago - Pushed at: over 7 years ago - Stars: 32 - Forks: 22

Spirals-Team/docker-g5k 📦

Docker Grid5000 client (CLI and Go library)

Language: Go - Size: 122 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 12 - Forks: 2

STAMP-project/test-runner

test driver to run JUnit tests isolated in a new JVM

Language: Java - Size: 2.01 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 16 - Forks: 15

Spirals-Team/defects4j-repair

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

Language: Python - Size: 747 MB - Last synced at: 17 days ago - Pushed at: about 3 years ago - Stars: 35 - Forks: 34

LoicMarechal/libMeshb

A library to handle the *.meshb file format.

Language: C - Size: 17.8 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 41 - Forks: 12

powerapi-ng/powerapi-scala 📦

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

Language: Scala - Size: 7.6 MB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 68 - Forks: 16

LoicMarechal/libOL

Quick and easy spatial localization with octree

Language: C - Size: 15.1 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 19 - Forks: 2

STAMP-project/pitest-descartes

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

Language: Java - Size: 2.82 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 126 - Forks: 21

powerapi-ng/selfwatts-formula

SelfWatts is a formula for a software-defined power meter that explores and select the relevant performance events at runtime

Language: Python - Size: 28.3 KB - Last synced at: 4 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

BlackFoundryCom/InriaFonts

Fonts and UFO Masters of Inria Serif and Inria Sans Typeface

Language: HTML - Size: 5.95 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 360 - Forks: 17

STAMP-project/docs-forum

Documentation and general discussions

Size: 529 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1

STAMP-project/pitmp-maven-plugin

Maven plugin to handle multi module projects for PiTest

Language: Java - Size: 2.69 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 44 - Forks: 14

badcafe/rollup-plugin-inject-process-env

Inject environment variables in process.env with Rollup

Language: TypeScript - Size: 1.67 MB - Last synced at: about 18 hours ago - Pushed at: over 2 years ago - Stars: 51 - Forks: 5

rbalbis/projetXml

Projet pour le cours Technologie XML

Language: JavaScript - Size: 22.2 MB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

occiware/GCP-Model

Model for Google Cloud Platform

Language: HTML - Size: 5.55 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

LoicMarechal/libHash

A library to index a mesh data structure in a hash table and make powerfull search queries.

Language: C - Size: 4.12 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 9 - Forks: 1

APISENSE/bee-android

APISENSE® Android client

Language: Java - Size: 2.72 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 11

diverse-project/k3

action language providing open class mechanism to xtend/java

Language: Java - Size: 30.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 8

Apolline-Lille/apolline-flutter

Flutter version of the Apolline app.

Language: Dart - Size: 3.48 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 3

kashimAstro/INRIAPersonDataset

INRIA person dataset svm for dlib

Language: Makefile - Size: 30.1 MB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 2

diverse-project/melange

The Melange Language Workbench

Language: Java - Size: 191 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 7

Apolline-Lille/apolline-android 📦

Android application for collecting air measurements

Language: Kotlin - Size: 12.9 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 3

occiware/TOSCA-Studio

A Model for TOSCA and a Studio for designing and deploying configurations based on this model.

Language: Java - Size: 71 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 5

Spirals-Team/FP-Scanner

Repo of code for FP-Scanner article

Language: Python - Size: 5.73 MB - Last synced at: 17 days ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 4

dblabs-mcgill-mila/machine_learning_with_sklearn

Explore and understand the Machine Learning concepts through the prism of sklearn, one notebook at a time.

Language: Jupyter Notebook - Size: 93.3 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

E-delweiss/MachineLearning_CheatSheet

Machine learning concepts that you might want to learn. Explained through a mind nodes. It talks about supervised learning with Scikit-Learn.

Size: 3.04 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

cristianrcv/pycompss-autoparallel

PyCOMPSs AutoParallel

Language: Python - Size: 310 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 0

powerapi-ng/rapl-formula

PowerAPI formula using RAPL counters to provides power consumption information.

Language: Python - Size: 64.5 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 4

STAMP-project/AssertFixer

A testing tool to replace the expected value of assertions to match the current behavior

Language: Java - Size: 466 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 3

Spirals-Team/spirals-team.github.io Fork of willianjusten/cards-jekyll-template

Spirals job and internship offers

Language: CSS - Size: 1.1 MB - Last synced at: 4 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Apolline-Lille/apolline-backend-ng

Docker image for deployment of Apolline software stack.

Language: Python - Size: 1.12 MB - Last synced at: 11 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

TomEliott/stopcovid-ios

📱🦠 Automatic mirroring of StopCovid iOS app

Language: Swift - Size: 9.41 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

occiware/fclouds-Framework

Language: Alloy - Size: 444 KB - Last synced at: 9 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

Spirals-Team/powerspy

All the implementations of PowerSpy's drivers

Size: 164 KB - Last synced at: 4 days ago - Pushed at: over 10 years ago - Stars: 4 - Forks: 0