Pinned Repositories
30-Days-Of-React
30 Days of React challenge is a step by step guide to learn React in 30 days. This challenge needs an intermediate level of HTML, CSS, and JavaScript knowledge. It is recommended to feel good at JavaScript before you start to React. If you are not comfortable with JavaScript check out 30DaysOfJavaScript. This is a continuation of 30 Days Of JS.
alt-ergo-docker-images
Generate light alt-ergo docker images
Clojure_Sudoku_Game-Solver
Sudoku Game (including a simple solver) written in Clojure for the LU3IN020 course "Principes des programmes déclaratifs" at Sorbonne Université.
eliasb
Portfolio
graphcljskel
Graph handling in Clojure
ihm-projet-ourmaps
Ce repo héberge le site web accueillant le projet de l'UE interaction homme machine IHM.
MAS-equal-ressources-collect-problem
Optimisation-localisation-unites-de-soins-et-prise-en-charge
Modélisation et Optimisation , Programmation Linéaire et Graphes.
ProofBox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
tech-interview-handbook
💯 Curated coding interview preparation materials for busy software engineers
EliasGit2017's Repositories
EliasGit2017/Clojure_Sudoku_Game-Solver
Sudoku Game (including a simple solver) written in Clojure for the LU3IN020 course "Principes des programmes déclaratifs" at Sorbonne Université.
EliasGit2017/eliasb
Portfolio
EliasGit2017/ihm-projet-ourmaps
Ce repo héberge le site web accueillant le projet de l'UE interaction homme machine IHM.
EliasGit2017/tech-interview-handbook
💯 Curated coding interview preparation materials for busy software engineers
EliasGit2017/alt-ergo-docker-images
Generate light alt-ergo docker images
EliasGit2017/graphcljskel
Graph handling in Clojure
EliasGit2017/MAS-equal-ressources-collect-problem
EliasGit2017/Optimisation-localisation-unites-de-soins-et-prise-en-charge
Modélisation et Optimisation , Programmation Linéaire et Graphes.
EliasGit2017/ProofBox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
EliasGit2017/3D-Endless-Runner-in-Unity
Tutorial on creating a 3D endless runner in Unity
EliasGit2017/advents
Keep a smart hand
EliasGit2017/alt-ergo-benchmark-tools
Automatize benchmarking for the alt-ergo solver
EliasGit2017/derk3-MARL
Multi-Agent Reinforcement Learning using PPO
EliasGit2017/devops-exercises
Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
EliasGit2017/digodoc
Dig into an opam switch for doc
EliasGit2017/docker-ubuntu-novnc
Ubuntu 20.04 in a docker container with display in your web browser
EliasGit2017/docker-ubuntu-vnc-desktop
A Docker image to provide web VNC interface to access Ubuntu LXDE/LxQT desktop environment.
EliasGit2017/evosimbad
iar article
EliasGit2017/langchain
⚡ Building applications with LLMs through composability ⚡
EliasGit2017/langsmith-sdk
LangSmith Client SDK Implementations
EliasGit2017/ocaml-docker
Binding to the Docker Remote API
EliasGit2017/perspective
A data visualization and analytics component, especially well-suited for large and/or streaming datasets.
EliasGit2017/Projet_LU3IN003_Algorithmique
DNA sequences and Algorithms
EliasGit2017/ProjetJava
Projet java 2I002 BOID
EliasGit2017/ProofBox_Client
Client for ez_proofbox
EliasGit2017/quant-trading
Python quantitative trading strategies including VIX Calculator, Pattern Recognition, Commodity Trading Advisor, Monte Carlo, Options Straddle, Shooting Star, London Breakout, Heikin-Ashi, Pair Trading, RSI, Bollinger Bands, Parabolic SAR, Dual Thrust, Awesome, MACD
EliasGit2017/spring-boot
Spring Boot
EliasGit2017/SPY
EliasGit2017/Tutorat_LU1IN001
Ce repo regroupe l'ensemble des notebooks utilisés dans le cadre des séances de tutorat de l'UE LU1IN001: Eléments de programmation.
EliasGit2017/whisper
Robust Speech Recognition via Large-Scale Weak Supervision