Pinned Repositories
academic-digital-garden
A digital garden using Jekyll with special notes for academic papers.
adversarial-training
A library for training robust neural networks using adversarial training
algo2
Project for the ALGO2 Epitech module.
berlinouest
An app that uses Leaflet-React and OSM data
cartedeslangues
chapelurebot
clipinlay-landing
imandra-marabou-proof
Checking proofs from Marabou in Imandra
quill-delta-markdown
To and from Markdown and Quill delta
rdesmartin's Repositories
rdesmartin/chapelurebot
rdesmartin/quill-delta-markdown
To and from Markdown and Quill delta
rdesmartin/academic-digital-garden
A digital garden using Jekyll with special notes for academic papers.
rdesmartin/berlinouest
An app that uses Leaflet-React and OSM data
rdesmartin/imandra-marabou-proof
Checking proofs from Marabou in Imandra
rdesmartin/adversarial-training
A library for training robust neural networks using adversarial training
rdesmartin/algo2
Project for the ALGO2 Epitech module.
rdesmartin/cartedeslangues
rdesmartin/clipinlay-landing
rdesmartin/coq-monotony
rdesmartin/digital-garden
My digital garden
rdesmartin/dog-list
A simple vue app demo
rdesmartin/dotfiles
rdesmartin/heraldry101
Intro to heraldry website
rdesmartin/i3-nord
My dot files for i3wm with a nordic color theme
rdesmartin/imandra-iris-verification
Jupyter notebook for Neural Network verification with Imandra
rdesmartin/imandra-marabou-proof-checking
rdesmartin/imandra_nn_verification
thesis for MSc Data Science degree at Heriot-Watt university.
rdesmartin/lyrics_scraper
rdesmartin/mlpractical-2
Machine Learning Practical Course Code Repository
rdesmartin/phd
rdesmartin/postinstall
Scripts, configs, etc. for when I have to redump Ubuntu
rdesmartin/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
rdesmartin/rdesmartin.github.io
Personal website
rdesmartin/rdesmartin.github.io.bak
A blog based on the minimalmistakes theme
rdesmartin/RelatedWork
Jekyll website to keep track of interesting papers
rdesmartin/stanfordbeehive.github.io
Gladstone/Stanford beehive webpage
rdesmartin/technical_test
rdesmartin/vehicle-adversarial-attack
rdesmartin/visualisationProject
https://github.com/nlehir/Visu/blob/exercise/course/projet_description.pdf