Pinned Repositories
ci-exercise-app
A sample Android app that does not have Continuous Integration yet
CS453-2021-project
Concurrent Algorithms Project 2021
cypridict
A prioritized dictionary in cython (updateable priority queue).
DIS
CS-423 Distributed Information Systems
DRL_SmartGrid
epfl-nlp.github.io
EPFL's NLP lab website
lean-training-data
lisa
Proof assistant based on first-order logic and set theory
mitsuba_global_optimization
ml-project-2-aidalearn
augustepoiroux's Repositories
augustepoiroux/ci-exercise-app
A sample Android app that does not have Continuous Integration yet
augustepoiroux/CS453-2021-project
Concurrent Algorithms Project 2021
augustepoiroux/cypridict
A prioritized dictionary in cython (updateable priority queue).
augustepoiroux/DIS
CS-423 Distributed Information Systems
augustepoiroux/DRL_SmartGrid
augustepoiroux/epfl-nlp.github.io
EPFL's NLP lab website
augustepoiroux/lean-training-data
augustepoiroux/lisa
Proof assistant based on first-order logic and set theory
augustepoiroux/mitsuba_global_optimization
augustepoiroux/ml-project-2-aidalearn
augustepoiroux/ML_course
EPFL Machine Learning Course, Fall 2021
augustepoiroux/OptML_ASGD
augustepoiroux/PointNav-VO
[ICCV2021] The Surprising Effectiveness of Visual Odometry Techniques for Embodied PointGoal Navigation.
augustepoiroux/ml-project-2-aiidalearn
augustepoiroux/Project-graph-neural-net
Expressive Power of Invariant and Equivaraint Graph Neural Networks (ICLR 2021)
augustepoiroux/public
SwEng materials for the public
augustepoiroux/Reinforcement-Learning-Maze
Various ways to learn a computer to escape from a maze. From random walk to a simple neural network.
augustepoiroux/set.mm
Metamath source file for logic and set theory
augustepoiroux/SpringChallenge2021
augustepoiroux/stainless-codespaces
Example repo to work with Stainless in Github Codespaces
augustepoiroux/TrackMini