p
pauladam94
Computer science students - Master at ENS Rennes - France. Interested in theoretical study of programming languages
47 repositories
8 followers
France
Repositories
Select a repository to view its commits, contributors, and more.public
curryst
Typst Package to typeset inference rule
Typst
25
3
1
Updated 6 days ago
public
biblyst
Typst multiple bibliographie using same citation an bibliographie syntax.
Typst
2
0
0
Updated 21 days ago
public
ENS-Rennes-Typst-Slides-Template
Typst Slide Template for ENS Rennes
2
0
0
Updated a year ago
public
Ville-Embourbee
Educational tool in the browser to create an activity (without computer about computer science) for children
JavaScript
2
0
0
Updated a year ago
public
Pixel-Art-Editor
Pixel-Art-Editor with egui and Rust.
Rust
1
0
0
Updated a year ago
public
SFLK_website
website to show inormatio
JavaScript
1
0
2
Updated 2 years ago
public
hare_to_uxn
Compiler from Hare to Uxntal
C
1
0
0
Updated 4 months ago
public
Simplex_algorithm
Implementation of the simplex algorithm
Rust
0
0
0
Updated 6 months ago
public
my_website
HTML
0
0
0
Updated 7 months ago
public
Station-meteo
Projet 2020 d'une station météo, programme python qui récupère les données d'un Arduino
Python
0
0
0
Updated 3 years ago
public
makepad_test
First test for the Rust GUI framework makepad
0
0
0
Updated a year ago
public
Rust_C_FFI_Test
Some tests about Rust C FFI in the context of in internship about this subject.
C
0
1
0
Updated 6 months ago