youqad/dex-syntax-highlighting

Stars
1
Language
Created almost 2 years ago
Updated almost 2 years ago

youqad/dex-syntax-highlighting

youqad

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

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

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

Programmation2

TPs du cours Programmation2 à l'ENS Paris-Saclay

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)

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