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/presentation-template
mbovel/scalacon-typelevel-operations
mbovel/dataviz-project
https://mbovel.github.io/dataviz-project/
mbovel/formal-verification-project
CS550 Formal Verification Project, EPFL, Winter 2021-2022
mbovel/ts-tree
A basic tree class for javascript/typescript
mbovel/dela-analysis
mbovel/relaxng-to-json-schema
mbovel/scala-compiletime-presentation
mbovel/autoui
mbovel/docs.scala-lang
The Scala Documentation website
mbovel/dotty
The Scala 3 compiler, also known as Dotty.
mbovel/eldarica
The Eldarica model checker
mbovel/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
mbovel/inox
Solver for higher-order functional programs
mbovel/itp-project
mbovel/logic_form
Formulaire pour l'examen du cours «Logique Mathématique» de Jacques Duparc.
mbovel/metals-vscode
Visual Studio Code extension for Metals
mbovel/pedemo
mbovel/requests-scala
A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.
mbovel/salejeune.com
WordPress theme for www.salejeune.com.
mbovel/sbt-teavm-scala3-test
mbovel/scala-advent-of-code
Scala Center's solution of Advent of Code
mbovel/scala-benchmarks
mbovel/scala-cli
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!)
mbovel/scala-cli-vs-sbt
mbovel/scala-lang
sources for the Scala language website
mbovel/stainless
Verification framework and tool for higher-order Scala programs
mbovel/truffle-tests
mbovel/ts-pubsub
Minimal type-safe implementation of the publish–subscribe pattern in typescript
mbovel/ts-tree-ui
Tree UI for the browser, supporting keyboard and drag'n'drop