mbovel

presentation-template

scalacon-typelevel-operations

dataviz-project

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

formal-verification-project

CS550 Formal Verification Project, EPFL, Winter 2021-2022

ts-tree

A basic tree class for javascript/typescript

dela-analysis

relaxng-to-json-schema

scala-compiletime-presentation

autoui

docker-alpine-sdk

docs.scala-lang

The Scala Documentation website

dotty

The Scala 3 compiler, also known as Dotty.

eldarica

The Eldarica model checker

highlight.js

JavaScript syntax highlighter with language auto-detection and zero dependencies.

inox

Solver for higher-order functional programs

logic_form

Formulaire pour l'examen du cours «Logique Mathématique» de Jacques Duparc.

metals-vscode

Visual Studio Code extension for Metals

pedemo

requests-scala

A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.

salejeune.com

WordPress theme for www.salejeune.com.

sbt-teavm-scala3-test

scala-advent-of-code

Scala Center's solution of Advent of Code

scala-benchmarks

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!)

scala-cli-vs-sbt

scala-lang

sources for the Scala language website

stainless

Verification framework and tool for higher-order Scala programs

truffle-tests

ts-pubsub

Minimal type-safe implementation of the publish–subscribe pattern in typescript

ts-tree-ui

Tree UI for the browser, supporting keyboard and drag'n'drop