GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — mbovel - Overview
@mbovel mbovel Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@mbovel
mbovel
Follow
View mbovel's full-sized avatar

Matt Bovel mbovel

Follow
PhD student at @lampepfl and @epfl-lara, working on refinement types for Scala 3. Former intern at @oracle Labs, worked on GraalWasm and Truffle.
75 followers · 52 following
  • EPFL
  • Lausanne, Switzerland
  • matt.bovel.net
  • https://orcid.org/0009-0005-5132-0279

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@scala @lampepfl @epfl-lara @Powercoders-Switzerland @scala-workshop
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. scala-days-refinement-types scala-days-refinement-types Public

    Slides and examples for the Scala Days 2026 talk "First-class Logical Refinement Types for Scala"

    HTML

  2. first-class-refinement-types-in-scala first-class-refinement-types-in-scala Public

    TeX 4

  3. scala/scala3 scala/scala3 Public

    The Scala 3 compiler, also known as Dotty.

    Scala 6.3k 1.2k

  4. oracle/graal oracle/graal Public

    GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

    Java 21.8k 1.8k

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.