Emile Rolley ⏚ (@EmileRolley)
github

EmileRolley

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

sustainable-computing

An attempt to centralized some resources about sustainable programming, green computing and frugal engineering.
14
star
2

publicodes-language-server

Language server for Publicodes
TypeScript
4
star
3

vgr-pixmap

Vg renderer in pure OCaml for raster outputs.
3
star
4

ltl2ba

Compiler of LTL formula to BΓΌchi automata
OCaml
3
star
5

altarica-ext

Set of extensions related to text editors for the AltaRica language
Vim Script
2
star
6

altarica-project

Project for the course Conception Formelle
TeX
1
star