rdesmartin

chapelurebot

quill-delta-markdown

To and from Markdown and Quill delta

berlinouest

An app that uses Leaflet-React and OSM data

imandra-marabou-proof

Checking proofs from Marabou in Imandra

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.

cartedeslangues

clipinlay-landing

coq-monotony

digital-garden

My digital garden

dog-list

A simple vue app demo

dotfiles

heraldry101

Intro to heraldry website

i3-nord

My dot files for i3wm with a nordic color theme

imandra-iris-verification

Jupyter notebook for Neural Network verification with Imandra

imandra-marabou-proof-checking

imandra_nn_verification

thesis for MSc Data Science degree at Heriot-Watt university.

lyrics_scraper

make-invoice

mlpractical-2

Machine Learning Practical Course Code Repository

phd

postinstall

Scripts, configs, etc. for when I have to redump Ubuntu

rdesmartin.github.io

Personal website

rdesmartin.github.io.bak

A blog based on the minimalmistakes theme

RelatedWork

Jekyll website to keep track of interesting papers

stanfordbeehive.github.io

Gladstone/Stanford beehive webpage

technical_test

vehicle-adversarial-attack

visualisationProject

https://github.com/nlehir/Visu/blob/exercise/course/projet_description.pdf