Programming Methods Laboratory EPFL

Repositories

• dotty

  Research compiler that will become Scala 3

  scala epfl compiler language-server-protocol scala3
  Scala Apache-2.0 604 3,922 469 (17 issues need help) 55 Updated May 16, 2020

• bench

  benchmark compilation of Dotty
  Scala 1 4 3 (1 issue needs help) 0 Updated May 16, 2020

• bench-data

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

• dotty-website

  Dotty Website
  0 0 0 0 Updated May 14, 2020

• progfun-wiki
  HTML 1,750 1,387 0 1 Updated May 9, 2020

• dotty-ecosystem

  Procedures to manage projects ported to Dotty
  Scala 0 2 0 0 Updated May 7, 2020

• lsp-viewer

  Web UI for analyzing Language Server Protocol logs
  Vue MIT 0 0 0 3 Updated Apr 30, 2020

• xml-interpolator

  XML String Interpolator for Dotty
  Scala Apache-2.0 3 9 1 0 Updated Apr 29, 2020

• packtest

  On-demand test for dotty release packages on Linux/Mac/Windows
  0 0 0 1 Updated Apr 29, 2020

• homebrew-brew

  homebrew formula
  Ruby 5 2 1 0 Updated Apr 29, 2020

• dotty.g8

  scala epfl dotty scala3 g8
  Scala 10 17 0 0 Updated Apr 29, 2020

• dotty-staging.g8
  Scala 1 3 0 0 Updated Apr 29, 2020

• dotty-example-project

  An example sbt project that compiles using Dotty

  scala epfl sbt dotty
  Scala 54 180 2 1 Updated Apr 29, 2020

• dotty-cross.g8

  scala epfl dotty scala3 g8
  Scala 4 7 0 0 Updated Apr 29, 2020

• dotty-ci

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

• dotty-tasty-inspector.g8
  Scala 0 0 0 0 Updated Apr 5, 2020

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

• scala

  Forked from scala/scala

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

• dotty-knowledge

  A knowledge base of Dotty internals and all things related
  1 17 25 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 15 106 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 8 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