Programming Methods Laboratory EPFL

Repositories

• dotty

  The Scala 3 compiler, also known as Dotty.

  scala epfl compiler scala3
  Scala Apache-2.0 672 4,237 611 (21 issues need help) 75 Updated Dec 15, 2020

• bench

  benchmark compilation of Dotty
  Scala 2 8 194 0 Updated Dec 15, 2020

• bench-data

  bench data for http://dotty-bench.epfl.ch
  0 0 0 0 Updated Dec 15, 2020

• dotty-website

  Dotty Website
  1 0 0 0 Updated Dec 14, 2020

• dotty-macro-examples

  Various tasks solved via metaprogramming in Dotty
  Scala 5 25 2 2 Updated Dec 7, 2020

• scala3-macro-tutorial
  JavaScript 8 31 10 0 Updated Dec 1, 2020

• homebrew-brew

  homebrew formula
  Ruby 8 2 0 0 Updated Dec 1, 2020

• scala3-cross.g8

  scala epfl dotty scala3 g8
  Scala 6 8 0 1 Updated Nov 26, 2020

• lsp-viewer

  Web UI for analyzing Language Server Protocol logs
  Vue MIT 0 2 0 11 Updated Nov 24, 2020

• scala3doc
  Scala 6 16 65 0 Updated Nov 20, 2020

• dotty-ci

  Docker image for testing dotty and other projects in the LAMP EPFL org
  Dockerfile BSD-3-Clause 8 4 1 0 Updated Nov 19, 2020

• packtest

  On-demand test for dotty release packages on Linux/Mac/Windows
  0 0 0 0 Updated Nov 6, 2020

• xml-interpolator

  XML String Interpolator for Dotty
  Scala Apache-2.0 3 11 1 0 Updated Nov 4, 2020

• progfun-wiki
  HTML 1,834 1,471 0 1 Updated Oct 17, 2020

• dotty-ecosystem

  Procedures to manage projects ported to Dotty
  Scala 1 6 2 0 Updated Aug 9, 2020

• dotty-semanticdb
  Scala 2 2 1 0 Updated Jan 17, 2020

• scala

  Forked from scala/scala

  Fork of the Scala repository used for the Dotty backend
  Scala 3,006 9 0 0 Updated Aug 26, 2019

• dotty-knowledge

  A knowledge base of Dotty internals and all things related
  1 19 23 0 Updated Jul 25, 2019

• dotty-feature-requests

  This repo holds feature requests for Dotty, bugs reports are at https://github.com/lampepfl/dotty
  1 16 134 0 Updated Jun 3, 2019

• dotty-community-build Archived

  Dotty Community Build
  6 7 2 0 Updated Mar 26, 2019

• dotty-bot
  Scala BSD-3-Clause 1 1 0 0 Updated Jan 17, 2019

• dotty-remote-tracer

  A receptor for Dotty LSP remote tracing
  Scala 0 1 1 0 Updated Sep 21, 2018

• compiler-benchmark

  Forked from scala/compiler-benchmark

  Benchmarks for scalac
  Scala 27 1 4 0 Updated Jul 12, 2017

• sbt-dotty Archived

  A plugin to build your application using dotty with sbt support Edit Add topics

  sbt-plugin dotty scala3
  3 7 0 0 Updated Jun 6, 2017

• fos2015.github.io

  Forked from christophetd/fos2015.github.io

  Website for the Foundations of Software course at EPFL in the Fall 2015 semester
  CSS 0 5 0 0 Updated Jan 18, 2016

• ensemble

  LAMP/LARA Reading Group Website
  1 0 0 0 Updated Mar 7, 2014

• coursera-notifications
  0 2 0 0 Updated Jan 20, 2014

• lamp-blog
  0 0 0 0 Updated Dec 17, 2012