Pinned Repositories
bench
benchmark compilation of Dotty
dotty-feature-requests
Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
dotty-knowledge
A knowledge base of Dotty internals and all things related
dotty-macro-examples
Various tasks solved via metaprogramming in Dotty
gears
A strawman for a low-level async library in Scala 3.
monadic-reflection
progfun-wiki
scala3-macro-tutorial
scala3doc
xml-interpolator
XML String Interpolator for Dotty
Programming Methods Laboratory EPFL's Repositories
lampepfl/progfun-wiki
lampepfl/gears
A strawman for a low-level async library in Scala 3.
lampepfl/dotty-macro-examples
Various tasks solved via metaprogramming in Dotty
lampepfl/monadic-reflection
lampepfl/scala3-macro-tutorial
lampepfl/xml-interpolator
XML String Interpolator for Dotty
lampepfl/dotty-feature-requests
Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
lampepfl/dotty-knowledge
A knowledge base of Dotty internals and all things related
lampepfl/bench
benchmark compilation of Dotty
lampepfl/scala3doc
lampepfl/scala
Fork of the Scala repository used for the Dotty backend
lampepfl/lsp-viewer
Web UI for analyzing Language Server Protocol logs
lampepfl/dotty-ecosystem
Procedures to manage projects ported to Dotty
lampepfl/dotty-community-build
Dotty Community Build
lampepfl/sbt-dotty
A plugin to build your application using dotty with sbt support Edit Add topics
lampepfl/fos2015.github.io
Website for the Foundations of Software course at EPFL in the Fall 2015 semester
lampepfl/cs206-2021-exam
lampepfl/dotty-ci
Docker image for testing dotty and other projects in the LAMP EPFL org
lampepfl/dotty-semanticdb
lampepfl/fos-coq
fos coq project
lampepfl/homebrew-brew
homebrew formula
lampepfl/bench-data
bench data for https://dotty-bench.epfl.ch
lampepfl/compiler-benchmark
Benchmarks for scalac
lampepfl/dotty-bot
lampepfl/dotty-release-scripts
Scripts that are used to release new versions of Dotty
lampepfl/dotty-remote-tracer
A receptor for Dotty LSP remote tracing
lampepfl/scala3-reference-docs
This repository contains generated language reference documentation
lampepfl/.github
lampepfl/ensemble
LAMP/LARA Reading Group Website
lampepfl/packtest
On-demand test for dotty release packages on Linux/Mac/Windows