Pinned repositories
Repositories
-
dotty-website
Dotty Website
-
bench-data
bench data for http://dotty-bench.epfl.ch
-
homebrew-brew
homebrew formula
-
xml-interpolator
XML String Interpolator for Dotty
-
lsp-viewer
Web UI for analyzing Language Server Protocol logs
-
bench
benchmark compilation of Dotty
-
dotty-macro-examples
Various tasks solved via metaprogramming in Dotty
-
dotty-ci
Docker image for testing dotty and other projects in the LAMP EPFL org
-
packtest Archived
On-demand test for dotty release packages on Linux/Mac/Windows
-
scala3doc Archived
-
dotty-ecosystem
Procedures to manage projects ported to Dotty
-
-
dotty-knowledge
A knowledge base of Dotty internals and all things related
-
dotty-feature-requests
This repo holds feature requests for Dotty, bugs reports are at https://github.com/lampepfl/dotty
-
dotty-community-build Archived
Dotty Community Build
-
dotty-remote-tracer
A receptor for Dotty LSP remote tracing
-
-
sbt-dotty Archived
A plugin to build your application using dotty with sbt support Edit Add topics
-
fos2015.github.io
Forked from christophetd/fos2015.github.ioWebsite for the Foundations of Software course at EPFL in the Fall 2015 semester
-
ensemble
LAMP/LARA Reading Group Website

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
