Pinned Repositories
catala-dsfr
Web prototype for automated generation of individual explanations from Catala programs
catala-explain
A module for explicability from the trace of a catala program
ekofest
Calculate the carbon footprint of events
altarica-ext
Set of extensions related to text editors for the AltaRica language
altarica-project
Project for the course Conception Formelle
ltl2ba
Compiler of LTL formula to Büchi automata
sustainable-computing
An attempt to centralized some resources about sustainable programming, green computing and frugal engineering.
vgr-pixmap
Vg renderer in pure OCaml for raster outputs.
language-server
LS and VSCode client for Publicodes
tools
Set of utility functions to write tooling for Publicodes models
EmileRolley's Repositories
EmileRolley/sustainable-computing
An attempt to centralized some resources about sustainable programming, green computing and frugal engineering.
EmileRolley/ltl2ba
Compiler of LTL formula to Büchi automata
EmileRolley/vgr-pixmap
Vg renderer in pure OCaml for raster outputs.
EmileRolley/altarica-ext
Set of extensions related to text editors for the AltaRica language
EmileRolley/altarica-project
Project for the course Conception Formelle
EmileRolley/99-problems
EmileRolley/bluenote
Bluenote is simply the best companion app to get in your next jam session!
EmileRolley/agir-back
EmileRolley/anciens-if
Pages des anciens du parcours IF de l’université de Bordeaux.
EmileRolley/awesome-green-software
EmileRolley/catala
Programming language for literate programming law specification
EmileRolley/catala-website
Source code for the website of the Catala language
EmileRolley/coca-project
EmileRolley/ecobalyse
Accélerer la mise en place de l'affichage environnemental
EmileRolley/EmileRolley
EmileRolley/fork-monconvertisseurco2
EmileRolley/learn-ocaml
A Web Application for Learning OCaml
EmileRolley/mesaidesvelo
Découvrez les aides à l’achat d’un vélo
EmileRolley/nosgestesclimat
Estimez votre empreinte climat - le modèle de calcul
EmileRolley/nosgestesclimat-site
Estimez votre impact personnel sur le climat - le code du site
EmileRolley/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
EmileRolley/publicodes
Le langage pour les algorithmes d'intérêt public
EmileRolley/publicomp
Publicodes compiler
EmileRolley/react-dsfr-jsonschema-form
A dsfr form generator from json schema
EmileRolley/reno
Aides à la rénovation 2024 + coût des travaux
EmileRolley/school-projects
All my main projects done for university courses
EmileRolley/v3.ocaml.org-server
Server-side of the next version of the ocaml.org website. See https://github.com/ocaml/v3.ocaml.org for the frontend.
EmileRolley/vg
Declarative 2D vector graphics for OCaml
EmileRolley/vgr-pixmap-test
Temporary repository to store test programs for the WIP Vg bitmap renderer.
EmileRolley/web-movies-proxy