youqad/Programmation2

Stars
1
Language
OCaml
Created almost 8 years ago
Updated over 7 years ago

youqad/Programmation2

youqad

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

TPs du cours Programmation2 à l'ENS Paris-Saclay

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 Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy)

RIM-Linux

Projet RIM-Linux ENS Paris-Saclay. Professeur : M.Hulin-Hubard

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)

Jupyter Notebook

Coherence-of-Heyting-arithmetic

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

Algorithms

Personal database of python algorithms and data structures

Neurorobotics_Regression

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

TP_OCamlLex-OCamlYacc

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

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)

Coq_Project

Coq Project at ENS Paris-Saclay, teacher : François Thiré

stochastic-memoization-implementation

Mini probabilistic programming language to experiment about stochastic memoization and name generation.

MPRI_Proof-Assistants

Proof Assistants MPRI (M2) practical sessions (teachers: Bruno Barras and Matthieu Sozeau)

birthday_problem

Birthday problem for three and four people

Why3_Project

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

mini_compilo

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

Neurorobotics_Project

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

Compiler_Project

Compiler Project (C-- into Assembly x86_64) at ENS Paris-Saclay

Logics_Project

Logics Project at ENS Paris-Saclay

Type-Theory

Basic exercises done during my Nottingham Internship

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

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)

dex-syntax-highlighting

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

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