Programming Methods Laboratory EPFL

dotty-website Public
Dotty Website

1 4 0 0 Updated Jan 26, 2022
bench-data Public
bench data for https://dotty-bench.epfl.ch

1 0 0 0 Updated Jan 26, 2022
dotty Public
The Scala 3 compiler, also known as Dotty.

Scala 4,870 Apache-2.0 814 766 (23 issues need help) 81 Updated Jan 26, 2022
homebrew-brew Public
homebrew formula

Ruby 2 10 2 1 Updated Jan 24, 2022
lsp-viewer Public
Web UI for analyzing Language Server Protocol logs

Vue 3 MIT 0 0 19 Updated Jan 22, 2022
progfun-wiki Public

HTML 1,633 2,032 0 4 Updated Jan 13, 2022
dotty-macro-examples Public
Various tasks solved via metaprogramming in Dotty

Scala 56 14 1 4 Updated Jan 12, 2022
monadic-reflection Public

Scala 83 5 2 0 Updated Dec 22, 2021
bench Public
benchmark compilation of Dotty

Scala 11 4 19 0 Updated Dec 9, 2021
xml-interpolator Public
XML String Interpolator for Dotty

Scala 19 Apache-2.0 5 4 0 Updated Oct 22, 2021

Pinned