Programming Methods Laboratory EPFL

Repositories

• bench

  benchmark compilation of Dotty
  Scala 3 4 12 0 Updated Sep 16, 2020

• bench-data

  bench data for http://dotty-bench.epfl.ch
  0 0 0 0 Updated Sep 16, 2020

• dotty

  Research compiler that will become Scala 3

  scala epfl compiler language-server-protocol scala3
  Scala Apache-2.0 641 4,084 563 (17 issues need help) 69 Updated Sep 16, 2020

• dotty-website

  Dotty Website
  0 0 0 0 Updated Sep 16, 2020

• dotty.g8

  scala epfl dotty scala3 g8
  Scala 13 19 0 1 Updated Sep 15, 2020

• scala3doc
  Scala 3 10 68 (2 issues need help) 4 Updated Sep 14, 2020

• scala3-macro-tutorial
  5 27 11 0 Updated Sep 14, 2020

• dotty-cross.g8

  scala epfl dotty scala3 g8
  Scala 5 8 0 1 Updated Sep 12, 2020

• lsp-viewer

  Web UI for analyzing Language Server Protocol logs
  Vue MIT 0 1 0 10 Updated Sep 11, 2020

• xml-interpolator

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

• dotty-tasty-inspector.g8
  Scala 1 0 0 0 Updated Aug 31, 2020

• dotty-staging.g8
  Scala 2 3 0 0 Updated Aug 31, 2020

• dotty-example-project

  An example sbt project that compiles using Dotty

  scala epfl sbt dotty
  Scala 64 189 1 0 Updated Aug 28, 2020

• packtest

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

• homebrew-brew

  homebrew formula
  Ruby 5 2 1 0 Updated Aug 28, 2020

• dotty-ecosystem

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

• dotty-macro-examples

  Various tasks solved via metaprogramming in Dotty
  Scala 4 24 1 1 Updated Jun 19, 2020

• progfun-wiki
  HTML 1,805 1,436 0 1 Updated May 9, 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-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,975 9 0 0 Updated Aug 27, 2019

• dotty-knowledge

  A knowledge base of Dotty internals and all things related
  1 19 24 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 124 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 0 5 0 0 Updated Jan 18, 2016

• ensemble

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