Skip to content
View EmileRolley's full-sized avatar
27 followers · 97 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Organizations

@ekofest

Block or report EmileRolley

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
EmileRolley/README.md

Emile Rolley

Human with a particular interest in strongly typed programming languages and the open-source, trying to have a meaningful impact 💚
Gitlab 🦊 • Mail 📨 • LinkedIn 🔗

Currently, I'm working on:

  • 🚗 on a simulator to help with the process of changing your car for a cleaner and less expensive solution.
  • 🏛️ Publicodes, a declarative language for modeling complex business domains by breaking them down into simple elementary rules

I previously worked on:

  • 🥥 EkoFest, a lightweight and efficient web app for calculating the carbon footprint of events.
  • ⚖️ Catala, a programming language toolchain used to derive correct-by-construction and transparent implementations from legislative texts.
  • 🌍 Nos Gestes Climat, the ADEME official carbon footprint simulator.

Pinned Loading

  1. ekofest/ekofest ekofest/ekofest Public

    Calculate the carbon footprint of events

    Elm 6

  2. sustainable-computing sustainable-computing Public

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

    15

  3. publicodes/tools publicodes/tools Public

    Set of utility functions to write tooling for Publicodes models

    TypeScript 8

  4. publicodes/language-server publicodes/language-server Public

    LS and VSCode client for Publicodes

    TypeScript 6

  5. CatalaLang/catala-explain CatalaLang/catala-explain Public

    A module for explicability from the trace of a catala program

    ReScript 3

  6. CatalaLang/catala-dsfr CatalaLang/catala-dsfr Public

    Web prototype for automated generation of individual explanations from Catala programs

    ReScript 1