Name: Matt Bovel
Type: User
Company: EPFL
Bio: PhD student at @lampepfl, working on refinement types for Scala 3.
Former intern at @oracle Labs, worked on GraalWasm and Truffle.
CS MSc/BSc from EPFL.
Location: Lausanne, Switzerland
Matt Bovel's Projects
WordPress plugin that adds a code editor field type to Advanced Custom Fields.
WordPress theme for www.chronisis.com
https://mbovel.github.io/dataviz-project/
Automatically download, configure, install and run WordPress thanks to WP-CLI.
The Scala Documentation website
The Scala 3 compiler, also known as Dotty.
The Eldarica model checker
CS550 Formal Verification Project, EPFL, Winter 2021-2022
JavaScript syntax highlighter with language auto-detection and zero dependencies.
Second semester IT Project
Solver for higher-order functional programs
WordPress booking plugin for www.lagoulue.net
Formulaire pour l'examen du cours «Logique Mathématique» de Jacques Duparc.
Visual Studio Code extension for Metals
mocha - simple, flexible, fun javascript test framework for node.js & the browser. (BDD, TDD, QUnit styles via interfaces)
A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.
WordPress theme for www.salejeune.com.
Scala Center's solution of Advent of Code
Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)