v-moreau

PhD student in CS @ IRIF

Paris, France

Pinned Repositories

plfa.github.io
An introduction to programming language theory in Agda
Language:Agda1.4k 23 257319
vscode-rzk
Visual Studio Code Extension(s) for Rzk proof assistant.
Language:TypeScript8 3 341
IMP
A small implementation of a language of while programs.
Language:OCaml1 1 00
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0 00
raylib-tic-tac-toe
First C program using Raylib
Language:C0 1 00
v-moreau
0 1 00

v-moreau's Repositories

v-moreau/IMP
A small implementation of a language of while programs.
Language:OCaml1 1 00
v-moreau/plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0 00
v-moreau/raylib-tic-tac-toe
First C program using Raylib
Language:C0 1 00
v-moreau/v-moreau
0 1 00