Programming Methods Laboratory EPFL

dotty Public
The Scala 3 compiler, also known as Dotty.

Scala 4,928 Apache-2.0 821 738 (19 issues need help) 97 Updated Apr 15, 2022
bench-data Public
bench data for https://dotty-bench.epfl.ch

1 0 0 0 Updated Apr 15, 2022
homebrew-brew Public
homebrew formula

Ruby 2 11 2 1 Updated Apr 14, 2022
dotty-website Public
Dotty Website

1 4 0 0 Updated Apr 14, 2022
scala3-reference-docs Public
This repository contains generated language reference documentation

HTML 0 0 0 0 Updated Apr 12, 2022
xml-interpolator Public
XML String Interpolator for Dotty

Scala 21 Apache-2.0 5 4 1 Updated Apr 12, 2022
lsp-viewer Public
Web UI for analyzing Language Server Protocol logs

Vue 5 MIT 0 0 21 Updated Apr 9, 2022
dotty-macro-examples Public
Various tasks solved via metaprogramming in Dotty

Scala 64 15 0 1 Updated Mar 31, 2022
bench Public
benchmark compilation of Dotty

Scala 12 6 35 0 Updated Feb 4, 2022
progfun-wiki Public

HTML 1,664 2,077 0 4 Updated Jan 13, 2022

Pinned