• Stars
    star
    1
  • Language Agda
  • Created over 7 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

Basic exercises done during my Nottingham Internship

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

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

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