Augustindou

Pinned Repositories

2018-LFSAB1402-OzPlayer
Language:Oz00
2019-LINMA1702-WaterDistribution
Language:Jupyter Notebook00
2019-LSINF1252-PasswordCracker
Language:C00
2020-computer-systems
Project for LINGI2241 - Computer Systems
Language:Java00
2020-machine-learning
Project for LELEC2870 - Machine Learning
Language:Python00
community-platform
A platform to build useful communities that aim to tackle global problems
Language:TypeScript00
LINMA2450-Homeworks
LINMA2450 - Combinatorial Optimization Homeworks
Language:Julia00
MacOS-setup
Script for fast MacOS setup
Language:Shell0 2 00
mapros
Language:Python0 1 00
natural2lean
Master's Thesis - Augustin d'Oultremont - Advisor : François Glineur
Language:Python1 2 00

Augustindou's Repositories

Augustindou/natural2lean
Master's Thesis - Augustin d'Oultremont - Advisor : François Glineur
Language:Python1 2 00
Augustindou/2018-LFSAB1402-OzPlayer
Language:Oz00
Augustindou/2019-LINMA1702-WaterDistribution
Language:Jupyter Notebook00
Augustindou/2019-LSINF1252-PasswordCracker
Language:C00
Augustindou/2020-computer-systems
Project for LINGI2241 - Computer Systems
Language:Java00
Augustindou/2020-machine-learning
Project for LELEC2870 - Machine Learning
Language:Python00
Augustindou/community-platform
A platform to build useful communities that aim to tackle global problems
Language:TypeScript00
Augustindou/LINMA2450-Homeworks
LINMA2450 - Combinatorial Optimization Homeworks
Language:Julia00
Augustindou/MacOS-setup
Script for fast MacOS setup
Language:Shell0 2 00
Augustindou/mapros
Language:Python0 1 00
Augustindou/mapros-frontend
Language:JavaScript0 1 00
Augustindou/natural2lean-cli
Simple command line interface for natural2lean
Language:Python2 0
Augustindou/natural2lean-lean-project-template
lean4 project containing utilities for natural2lean
Language:Lean