Younesse Kaddar (@youqad)
github

youqad

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

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
Python
9
star
2

ZotNet_to_Gephi

Basic ZotNet to Gephi converter
Python
5
star
3

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)
OCaml
3
star
4

RIM-Linux

Projet RIM-Linux ENS Paris-Saclay. Professeur : M.Hulin-Hubard
C
2
star
5

macOS_math

Personal keyboard layouts (with unicode math symbols) and Alfred snippets (for LaTeX)
2
star
6

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)
Jupyter Notebook
2
star
7

Coherence-of-Heyting-arithmetic

Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
Coq
2
star
8

Algorithms

Personal database of python algorithms and data structures
Python
1
star
9

Neurorobotics_Regression

Neurobotics third lab on Regression, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)
HTML
1
star
10

TP_OCamlLex-OCamlYacc

TP de Langages Formels à l'ENS Paris-Saclay donné par Marie Fortin : http://younesse.net/Langages-formels/TP_LangagesFormels/
OCaml
1
star
11

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)
Python
1
star
12

Coq_Project

Coq Project at ENS Paris-Saclay, teacher : François Thiré
HTML
1
star
13

stochastic-memoization-implementation

Mini probabilistic programming language to experiment about stochastic memoization and name generation.
Haskell
1
star
14

MPRI_Proof-Assistants

Proof Assistants MPRI (M2) practical sessions (teachers: Bruno Barras and Matthieu Sozeau)
HTML
1
star
15

birthday_problem

Birthday problem for three and four people
Python
1
star
16

Why3_Project

Why3 project about computational reals (teacher: François Bobot) for the Parisian Master of Research in Computer Science (MPRI)
Coq
1
star
17

mini_compilo

Mini-compiler Project at ENS Paris-Saclay, teachers : François Thiré / Jean Goubault-Larrecq
Assembly
1
star
18

Neurorobotics_Project

Neurobotics project for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes
HTML
1
star
19

Programmation2

TPs du cours Programmation2 à l'ENS Paris-Saclay
OCaml
1
star
20

Compiler_Project

Compiler Project (C-- into Assembly x86_64) at ENS Paris-Saclay
OCaml
1
star
21

Logics_Project

Logics Project at ENS Paris-Saclay
HTML
1
star
22

Type-Theory

Basic exercises done during my Nottingham Internship
Agda
1
star
23

DM_Programmation2

DM de Programmation Avancée à l'ENS Paris-Saclay donné par Etienne Lozes : http://www.lsv.fr/~lozes/Enseignement/ProgAvancee/DM/dm.pdf
OCaml
1
star
24

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)
Python
1
star
25

dex-syntax-highlighting

Syntax highlighting support for the Dex language in Visual Studio Code.
1
star
26

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
TeX
1
star