Repositories list

• ripost_ea

  Public
  Inria/Simula team RIPOST_EA about Intelligent Systems

  CSS

  •0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

• packet-filtering-lang-leho

  Public
  Xtend

  •0•0•0•0•Updated Sep 17, 2024Sep 17, 2024

• packet-filtering-lang-gpfl

  Public
  Xtend

  •0•0•0•0•Updated Sep 17, 2024Sep 17, 2024

• RA2023

  Public
  TeX

  •0•0•0•0•Updated Jan 19, 2024Jan 19, 2024

• k3

  Public
  action language providing open class mechanism to xtend/java

  inria

  Java

  •

  Eclipse Public License 1.0

  •8•25•38•2•Updated Oct 11, 2023Oct 11, 2023

• melange

  Public
  The Melange Language Workbench

  inria

  Java

  •

  Eclipse Public License 1.0

  •7•28•72•1•Updated Aug 18, 2023Aug 18, 2023

• sirius-web-usability-functions

  Public
  Java

  •

  Eclipse Public License 2.0

  •1•1•0•0•Updated Aug 4, 2023Aug 4, 2023

• enduserprogrammingLLM

  Public
  End-user programming with LLM and generative AI

  Jupyter Notebook

  •2•9•1•0•Updated Jul 24, 2023Jul 24, 2023

• bibtexgenai

  Public
  side project about publications and generative AI

  TeX

  •0•0•0•0•Updated Jul 18, 2023Jul 18, 2023

• varylatex

  Public
  Varying LaTeX for fitting your requirements

  TeX

  •2•7•7•4•Updated May 22, 2023May 22, 2023

• ICPE-2021

  Public
  Official website of the ICPE 2021: the 12th ACM / SPEC International Conference on Computational Performance

  JavaScript

  •

  MIT License

  •0•0•0•1•Updated Jan 11, 2023Jan 11, 2023

• kermeta

  Public
  IDE plugins and interpreter for the Kermeta metamodeling execution language

  Java

  •

  Eclipse Public License 1.0

  •0•1•0•3•Updated Dec 13, 2022Dec 13, 2022

• OSSRH-84303

  Public
  validation project for OSSRH

  0•0•0•0•Updated Sep 7, 2022Sep 7, 2022

• maven-miner

  Public
  This projects mines maven central and creates a global dependency graph

  Java

  •9•30•6•8•Updated Sep 1, 2022Sep 1, 2022

• varypy

  Public
  Executing Python programs/projects in multiple environments

  Python

  •

  Apache License 2.0

  •1•1•2•0•Updated Aug 31, 2022Aug 31, 2022

• varymvn

  Public
  Executing Maven-based Java projects in multiple environments/libraries' versions

  Python

  •

  Apache License 2.0

  •0•0•3•0•Updated Aug 19, 2022Aug 19, 2022

• reproducibleSE-blogpost

  Public
  Reproducible Science and Software Engineering

  2•0•3•0•Updated Jun 29, 2022Jun 29, 2022

• BURST

  Public
  Uniform, random sampling: large study and results of different SAT-based samplers

  C

  •

  MIT License

  •5•0•0•0•Updated Jun 9, 2022Jun 9, 2022

• confsurface

  Public
  Scratching the surface of configurable systems: understanding how compile-time options have effects on binary size and gadget (surface attack); build predictor models/configurators; automate the exploration with variability modeling and reproducible build environment

  Jupyter Notebook

  •2•3•0•0•Updated Mar 31, 2022Mar 31, 2022

• AIPlanningSystem

  Public
  Implementation of an AI planning system that I've derived from Robert Sasak's works. Some of the available planning configurations are "mutants" (hand-coded variants of known search algorithms that aim at generating non-optimal plans).

  Prolog

  •0•0•0•0•Updated Mar 29, 2022Mar 29, 2022

• MTF-AIPlanners

  Public
  Prototype that implements the metamorphic testing framework for checking optimality in AI planners I've figured out during my six month internship at Inria.

  Prolog

  •0•0•0•0•Updated Mar 29, 2022Mar 29, 2022

• http-traffic4web-security

  Public
  C++

  •

  MIT License

  •0•0•0•0•Updated Oct 25, 2021Oct 25, 2021

• mulder-jamstack.github.io

  Public
  Documentation and demonstration of the mulder-jamstack project

  TypeScript

  •

  MIT License

  •3•0•0•0•Updated Jun 7, 2021Jun 7, 2021

• kpredict

  Public
  Machine learning tool to predict Linux kernel size

  Python

  •

  MIT License

  •1•0•0•0•Updated Feb 16, 2021Feb 16, 2021

• yajta-mirror

  Public
  Mirror of

  Java

  •6•0•0•0•Updated Oct 28, 2020Oct 28, 2020

• uml-pictionnary

  Public
  support de cours et de découverte des diagrammes UML sous la forme d'un Pictionary

  TeX

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 5, 2020Oct 5, 2020

• sintaks

  Public
  Sintaks takes advantage of metamodels to generate fully operational tools for concrete syntaxes. It uses bidirectional mapping-models to support both model-to-text and text-to-model transformations (generators and parsers).

  Java

  •0•0•0•0•Updated Sep 15, 2020Sep 15, 2020

• mtl

  Public
  MTL is a Model Transformation Language using an objet oriented paradigm. MOF based,it uses a consistent way to access the model elements and the transformation objects.

  Java

  •0•0•0•0•Updated Sep 15, 2020Sep 15, 2020

• kermeta2

  Public
  IDE plugins and scala compiler for the Kermeta metamodeling execution language

  Java

  •

  Eclipse Public License 1.0

  •0•1•0•0•Updated Sep 7, 2020Sep 7, 2020

• jhipster-dataset

  Public
  This repository contains the data about the JHipster case study.

  R

  •

  Creative Commons Attribution Share Alike 4.0 International

  •1•0•0•0•Updated Apr 26, 2020Apr 26, 2020