Programming Methods Laboratory EPFL

Repositories

• dotty-website

  Dotty Website
  1 0 0 0 Updated Mar 4, 2021

• dotty

  The Scala 3 compiler, also known as Dotty.

  scala epfl compiler scala3
  Scala Apache-2.0 705 4,355 604 (27 issues need help) 82 Updated Mar 3, 2021

• bench

  benchmark compilation of Dotty
  Scala 3 9 402 0 Updated Mar 3, 2021

• bench-data

  bench data for http://dotty-bench.epfl.ch
  0 0 0 0 Updated Mar 3, 2021

• progfun-wiki
  HTML 1,866 1,500 0 2 Updated Feb 28, 2021

• scala3doc Archived
  Scala 7 15 2 1 Updated Feb 17, 2021

• xml-interpolator

  XML String Interpolator for Dotty
  Scala Apache-2.0 3 13 1 0 Updated Feb 16, 2021

• packtest

  On-demand test for dotty release packages on Linux/Mac/Windows
  0 0 0 0 Updated Feb 16, 2021

• homebrew-brew

  homebrew formula
  Ruby 8 2 1 0 Updated Feb 16, 2021

• cs210-2020-exam
  6 7 0 0 Updated Jan 26, 2021

• scala3-macro-tutorial
  JavaScript 10 37 6 0 Updated Jan 13, 2021

• dotty-macro-examples

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

• lsp-viewer

  Web UI for analyzing Language Server Protocol logs
  Vue MIT 0 2 0 11 Updated Nov 24, 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

• 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,024 10 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 21 162 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 28 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 1 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