There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Chaotic_Neural_Networks
Neuromodeling (AT2) Cogmaster project: **Generating Coherent Patterns of Activity from Chaotic Neural Networks** (based on Sussillo & Abbott's article) at ENS UlmZotNet_to_Gephi
Basic ZotNet to Gephi converterCompiling-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)RIM-Linux
Projet RIM-Linux ENS Paris-Saclay. Professeur : M.Hulin-HubardmacOS_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)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 structuresNeurorobotics_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 peopleWhy3_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-LarrecqNeurorobotics_Project
Neurobotics project for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris DescartesProgrammation2
TPs du cours Programmation2 à l'ENS Paris-SaclayCompiler_Project
Compiler Project (C-- into Assembly x86_64) at ENS Paris-SaclayLogics_Project
Logics Project at ENS Paris-SaclayType-Theory
Basic exercises done during my Nottingham InternshipDM_Programmation2
DM de Programmation Avancée à l'ENS Paris-Saclay donné par Etienne Lozes : http://www.lsv.fr/~lozes/Enseignement/ProgAvancee/DM/dm.pdfdex-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-systemLove Open Source and this site? Check out how you can help us