Lausanne, Switzerland

Matt Bovel

Expert
@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.

presentation-template. HTML

12

acf-code. WordPress plugin that adds a code editor field type to Advanced Custom Fields.

9

docker-wordpress-autoinstall. Automatically download, configure, install and run WordPress thanks to WP-CLI.

7

scalacon-typelevel-operations. CSS

6

dataviz-project. https://mbovel.github.io/dataviz-project/

2

ts-tree. A basic tree class for javascript/typescript

2

formal-verification-project. CS550 Formal Verification Project, EPFL, Winter 2021-2022

2

wp-backup-restore-command. PHP

2

scala3-benchmarks. Scala

2

Chronisis.com. WordPress theme for www.chronisis.com

1

relaxng-to-json-schema. JavaScript

1

dela-analysis. Jupyter Notebook

1

scala-compiletime-presentation. HTML

1

semantic_types. Rocq Prover

1
14
Apply