mbovel
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.
EPFLLausanne, Switzerland
Pinned Repositories
acf-code
WordPress plugin that adds a code editor field type to Advanced Custom Fields.
dataviz-project
https://mbovel.github.io/dataviz-project/
docker-wordpress-autoinstall
Automatically download, configure, install and run WordPress thanks to WP-CLI.
formal-verification-project
CS550 Formal Verification Project, EPFL, Winter 2021-2022
presentation-template
scalacon-typelevel-operations
ts-tree
A basic tree class for javascript/typescript
wp-backup-restore-command
graal
GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
scala3
The Scala 3 compiler, also known as Dotty.
mbovel's Repositories
mbovel/acf-code
WordPress plugin that adds a code editor field type to Advanced Custom Fields.
mbovel/docker-wordpress-autoinstall
Automatically download, configure, install and run WordPress thanks to WP-CLI.
mbovel/wp-backup-restore-command
mbovel/Chronisis.com
WordPress theme for www.chronisis.com
mbovel/Imhof
Second semester IT Project
mbovel/example-wp-setup
mbovel/la-goulue-booking
WordPress booking plugin for www.lagoulue.net
mbovel/mocha
mocha - simple, flexible, fun javascript test framework for node.js & the browser. (BDD, TDD, QUnit styles via interfaces)
mbovel/stratoxmusic
mbovel/tinymce-no-resize
This WordPress plugin allows you to turn off the resizing handles on images, tables or media objects in the TinyMCE editor.