Younesse Kaddar's repositories
Chaotic_Neural_Networks
Neuromodeling (AT2) Cogmaster project: **Generating Coherent Patterns of Activity from Chaotic Neural Networks** (based on Sussillo & Abbott's article) at ENS Ulm
ZotNet_to_Gephi
Basic ZotNet to Gephi converter
Compiling-to-Categories_Automatic_Differentiation_Project
"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)
Coherence-of-Heyting-arithmetic
Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
macOS_math
Personal keyboard layouts (with unicode math symbols) and Alfred snippets (for LaTeX)
Neurorobotics_Intent-Recognition
Neurobotics 4th lab on Intent Recognition, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Mohamed Chetouani)
Algorithms
Personal database of python algorithms and data structures
dex-syntax-highlighting
Syntax highlighting support for the Dex language in Visual Studio Code.
Logics_Project
Logics Project at ENS Paris-Saclay
MPRI_Proof-Assistants
Proof Assistants MPRI (M2) practical sessions (teachers: Bruno Barras and Matthieu Sozeau)
Neurorobotics_Navigation-Strategies
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)
Neurorobotics_Project
Neurobotics project for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes
Neurorobotics_Regression
Neurobotics third lab on Regression, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)
Neurorobotics_Reinforcement-Learning
Neurobotics first lab on Reinforcement Learning, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)
Programmation2
TPs du cours Programmation2 à l'ENS Paris-Saclay
recommender-system
The theoretical side of the Initiation to Research group supervised by Serge Abiteboul at ENS Paris-Saclay. The implementation repository: https://github.com/remi-dupre/recommendation-system
stochastic-memoization-implementation
Mini probabilistic programming language to experiment about stochastic memoization and name generation.
Type-Theory
Basic exercises done during my Nottingham Internship
Why3_Project
Why3 project about computational reals (teacher: François Bobot) for the Parisian Master of Research in Computer Science (MPRI)
blog
Public repo for HF blog posts
Categories_Work_Exercises
Mac Lane's "Categories for the Working Mathematician" exercises (Cambridge Reading Group)
decisionr
Oxford Hack 2020 Repository: Decision-Making tool
dex-lang
Research language for array processing in the Haskell/ML family
gflownet-for-dummies
GFlowNets For Dummies Reading Group at Mila
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
oxai-oxvc-hackathon-2023
OXVC x Creator Fund x OxAI Startup Hackathon (May 2023)
pandoc-unicode-math
Replace Unicode symbols by equivalent Latex commands
tikzcd-editor
A simple visual editor for creating commutative diagrams.