Programming Methods Laboratory EPFL

Repositories

• progfun-wiki
  HTML 1,892 1,525 0 4 Updated May 14, 2021

• dotty

  The Scala 3 compiler, also known as Dotty.

  scala epfl compiler scala3
  Scala Apache-2.0 727 4,519 630 (25 issues need help) 67 Updated May 14, 2021

• dotty-website

  Dotty Website
  1 1 0 0 Updated May 14, 2021

• bench-data

  bench data for http://dotty-bench.epfl.ch
  0 1 0 0 Updated May 13, 2021

• homebrew-brew

  homebrew formula
  Ruby 7 2 1 0 Updated May 13, 2021

• xml-interpolator

  XML String Interpolator for Dotty
  Scala Apache-2.0 3 15 2 1 Updated May 13, 2021

• monadic-reflection
  Scala 0 3 0 0 Updated May 11, 2021

• lsp-viewer

  Web UI for analyzing Language Server Protocol logs
  Vue MIT 0 2 0 14 Updated May 10, 2021

• bench

  benchmark compilation of Dotty
  Scala 3 10 11 0 Updated May 7, 2021

• dotty-macro-examples

  Various tasks solved via metaprogramming in Dotty
  Scala 6 32 2 2 Updated Apr 25, 2021

• cs206-2021-exam
  2 2 0 0 Updated Apr 14, 2021

• dotty-ci

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

• packtest Archived

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

• scala3doc Archived
  Scala 6 16 2 1 Updated Feb 17, 2021

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

• dotty-ecosystem

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

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

• scala

  Forked from scala/scala

  Fork of the Scala repository used for the Dotty backend
  Scala 3,035 11 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 180 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