• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Python
  • Created almost 5 years ago
  • Updated almost 5 years ago

Reviews

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

Repository Details

Basic ZotNet to Gephi converter

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

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
3

RIM-Linux

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

macOS_math

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

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
6

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
7

Algorithms

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

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
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