Skip to content
View EliasGit2017's full-sized avatar
I may be slow to respond.
I may be slow to respond.

Block or report EliasGit2017

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. MAS-equal-ressources-collect-problem MAS-equal-ressources-collect-problem Public

    HTML

  2. alt-ergo-docker-images alt-ergo-docker-images Public

    Generate light alt-ergo docker images

    Makefile 1

  3. ProofBox ProofBox Public

    Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs

    OCaml 1

  4. Optimisation-localisation-unites-de-soins-et-prise-en-charge Optimisation-localisation-unites-de-soins-et-prise-en-charge Public

    Modélisation et Optimisation , Programmation Linéaire et Graphes.

    Python

  5. Clojure_Sudoku_Game-Solver Clojure_Sudoku_Game-Solver Public

    Sudoku Game (including a simple solver) written in Clojure for the LU3IN020 course "Principes des programmes déclaratifs" at Sorbonne Université.

    Clojure 1

  6. graphcljskel graphcljskel Public

    Graph handling in Clojure

    Clojure