Younesse Kaddar's Projects
Personal database of python algorithms and data structures
Birthday problem for three and four people
Public repo for HF blog posts
Mac Lane's "Categories for the Working Mathematician" exercises (Cambridge Reading Group)
Neuromodeling (AT2) Cogmaster project: **Generating Coherent Patterns of Activity from Chaotic Neural Networks** (based on Sussillo & Abbott's article) at ENS Ulm
Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
Compiler Project (C-- into Assembly x86_64) at ENS Paris-Saclay
"Compiling simply typed λ-calculus to Categories: Automatic Differentiation" functional programming MPRI project (teachers: Yann Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy)
Coq Project at ENS Paris-Saclay, teacher : François Thiré
Oxford Hack 2020 Repository: Decision-Making tool
Research language for array processing in the Haskell/ML family
Syntax highlighting support for the Dex language in Visual Studio Code.
DM de Programmation Avancée à l'ENS Paris-Saclay donné par Etienne Lozes : http://www.lsv.fr/~lozes/Enseignement/ProgAvancee/DM/dm.pdf
GFlowNets For Dummies Reading Group at Mila
Causal Analysis for Kappa
Tool for data extraction and interacting with Lean programmatically.
An attempt to make a document to help learn Haskell
Logics Project at ENS Paris-Saclay
Personal keyboard layouts (with unicode math symbols) and Alfred snippets (for LaTeX)
Mini-compiler Project at ENS Paris-Saclay, teachers : François Thiré / Jean Goubault-Larrecq
Proof Assistants MPRI (M2) practical sessions (teachers: Bruno Barras and Matthieu Sozeau)
Neurobotics 4th lab on Intent Recognition, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Mohamed Chetouani)
Neurobotics 2nd lab on Navigation Strategies, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Benoît Girard and Alexandre Coninx)
Neurobotics project for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes
Neurobotics third lab on Regression, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)
Neurobotics first lab on Reinforcement Learning, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)
OXVC x Creator Fund x OxAI Startup Hackathon (May 2023)
Replace Unicode symbols by equivalent Latex commands
An environment for learning formal mathematical reasoning from scratch
TPs du cours Programmation2 à l'ENS Paris-Saclay