• Stars
    star
    1
  • Language
    HTML
  • Created over 6 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

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

More 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

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
10

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
11

Coq_Project

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

stochastic-memoization-implementation

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

MPRI_Proof-Assistants

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

birthday_problem

Birthday problem for three and four people
Python
1
star
15

Why3_Project

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

mini_compilo

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

Neurorobotics_Project

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

Programmation2

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

Compiler_Project

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

Logics_Project

Logics Project at ENS Paris-Saclay
HTML
1
star
21

Type-Theory

Basic exercises done during my Nottingham Internship
Agda
1
star
22

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
23

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
24

dex-syntax-highlighting

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

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