Repositories list

• bench-data

  Public
  bench data for https://dotty-bench.epfl.ch

  0•1•0•1•Updated Sep 30, 2024Sep 30, 2024

• gears

  Public
  A strawman for a low-level async library in Scala 3.

  Scala

  •

  Apache License 2.0

  •25•249•3•3•Updated Sep 25, 2024Sep 25, 2024

• scala3-reference-docs

  Public
  This repository contains generated language reference documentation

  HTML

  •0•1•2•0•Updated Aug 21, 2024Aug 21, 2024

• xml-interpolator

  Public
  XML String Interpolator for Dotty

  Scala

  •

  Apache License 2.0

  •6•32•6•1•Updated Apr 16, 2024Apr 16, 2024

• dotty-ci

  Public archive
  Docker image for testing dotty and other projects in the LAMP EPFL org

  Dockerfile

  •

  BSD 3-Clause "New" or "Revised" License

  •12•3•1•0•Updated Apr 12, 2024Apr 12, 2024

• homebrew-brew

  Public archive
  homebrew formula

  Ruby

  •10•3•3•0•Updated Mar 11, 2024Mar 11, 2024

• .github

  Public
  0•0•0•0•Updated Mar 6, 2024Mar 6, 2024

• bench

  Public
  benchmark compilation of Dotty

  Scala

  •8•17•240•0•Updated Feb 6, 2024Feb 6, 2024

• progfun-wiki

  Public
  HTML

  •2.2k•1.8k•0•4•Updated Jan 23, 2024Jan 23, 2024

• monadic-reflection

  Public
  Scala

  •8•108•3•1•Updated Jan 7, 2024Jan 7, 2024

• dotty-feature-requests

  Public archive
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests

  2•31•125•0•Updated Jun 5, 2023Jun 5, 2023

• dotty-release-scripts

  Public archive
  Scripts that are used to release new versions of Dotty

  Python

  •0•0•0•1•Updated May 23, 2023May 23, 2023

• lsp-viewer

  Public
  Web UI for analyzing Language Server Protocol logs

  Vue

  •

  MIT License

  •0•9•0•32•Updated Feb 28, 2023Feb 28, 2023

• dotty-macro-examples

  Public
  Various tasks solved via metaprogramming in Dotty

  Scala

  •23•125•1•2•Updated Sep 12, 2022Sep 12, 2022

• fos-coq

  Public
  fos coq project

  Jupyter Notebook

  •1•3•0•0•Updated Nov 30, 2021Nov 30, 2021

• cs206-2021-exam

  Public
  2•3•0•0•Updated Jul 10, 2021Jul 10, 2021

• packtest

  Public archive
  On-demand test for dotty release packages on Linux/Mac/Windows

  0•0•0•0•Updated Mar 31, 2021Mar 31, 2021

• scala3doc

  Public archive
  Scala

  •6•16•2•1•Updated Feb 17, 2021Feb 17, 2021

• scala3-macro-tutorial

  Public
  JavaScript

  •10•40•5•0•Updated Jan 13, 2021Jan 13, 2021

• dotty-ecosystem

  Public archive
  Procedures to manage projects ported to Dotty

  Scala

  •1•8•2•0•Updated Aug 9, 2020Aug 9, 2020

• dotty-semanticdb

  Public
  Scala

  •2•3•1•0•Updated Jan 17, 2020Jan 17, 2020

• scala

  Public
  Fork of the Scala repository used for the Dotty backend

  Scala

  •3.1k•13•0•0•Updated Aug 26, 2019Aug 26, 2019

• dotty-knowledge

  Public archive
  A knowledge base of Dotty internals and all things related

  1•20•21•0•Updated Jul 25, 2019Jul 25, 2019

• dotty-community-build

  Public archive
  Dotty Community Build

  6•7•2•0•Updated Mar 26, 2019Mar 26, 2019

• dotty-bot

  Public
  Scala

  •

  BSD 3-Clause "New" or "Revised" License

  •1•1•0•0•Updated Jan 17, 2019Jan 17, 2019

• dotty-remote-tracer

  Public
  A receptor for Dotty LSP remote tracing

  Scala

  •

  Other

  •0•1•1•0•Updated Sep 21, 2018Sep 21, 2018

• compiler-benchmark

  Public
  Benchmarks for scalac

  Scala

  •

  Other

  •31•0•4•0•Updated Jul 12, 2017Jul 12, 2017

• sbt-dotty

  Public archive
  A plugin to build your application using dotty with sbt support Edit Add topics

  sbt-plugindottyscala3

  3•7•0•0•Updated Jun 6, 2017Jun 6, 2017

• fos2015.github.io

  Public
  Website for the Foundations of Software course at EPFL in the Fall 2015 semester

  CSS

  •0•5•0•0•Updated Jan 18, 2016Jan 18, 2016

• ensemble

  Public
  LAMP/LARA Reading Group Website

  1•0•0•0•Updated Mar 7, 2014Mar 7, 2014