Skip to content
Change the repository type filter

All

    Repositories list

    • 0101Updated Dec 23, 2024Dec 23, 2024
    • gears

      Public
      A strawman for a low-level async library in Scala 3.
      Scala
      Apache License 2.0
      2626046Updated Nov 26, 2024Nov 26, 2024
    • This repository contains generated language reference documentation
      HTML
      0120Updated Aug 21, 2024Aug 21, 2024
    • XML String Interpolator for Dotty
      Scala
      Apache License 2.0
      63361Updated 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
      11310Updated Apr 12, 2024Apr 12, 2024
    • homebrew-brew

      Public archive
      homebrew formula
      Ruby
      10330Updated Mar 11, 2024Mar 11, 2024
    • .github

      Public
      0000Updated Mar 6, 2024Mar 6, 2024
    • bench

      Public
      benchmark compilation of Dotty
      Scala
      8172410Updated Feb 6, 2024Feb 6, 2024
    • HTML
      2.2k1.8k04Updated Jan 23, 2024Jan 23, 2024
    • Scala
      710731Updated Jan 7, 2024Jan 7, 2024
    • Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
      2311250Updated Jun 5, 2023Jun 5, 2023
    • dotty-release-scripts

      Public archive
      Scripts that are used to release new versions of Dotty
      Python
      0001Updated May 23, 2023May 23, 2023
    • Web UI for analyzing Language Server Protocol logs
      Vue
      MIT License
      012032Updated Feb 28, 2023Feb 28, 2023
    • Various tasks solved via metaprogramming in Dotty
      Scala
      2413012Updated Sep 12, 2022Sep 12, 2022
    • fos-coq

      Public
      fos coq project
      Jupyter Notebook
      1300Updated Nov 30, 2021Nov 30, 2021
    • 2300Updated Jul 10, 2021Jul 10, 2021
    • packtest

      Public archive
      On-demand test for dotty release packages on Linux/Mac/Windows
      0000Updated Mar 31, 2021Mar 31, 2021
    • scala3doc

      Public archive
      Scala
      61621Updated Feb 17, 2021Feb 17, 2021
    • JavaScript
      104050Updated Jan 13, 2021Jan 13, 2021
    • dotty-ecosystem

      Public archive
      Procedures to manage projects ported to Dotty
      Scala
      1820Updated Aug 9, 2020Aug 9, 2020
    • Scala
      2310Updated Jan 17, 2020Jan 17, 2020
    • scala

      Public
      Fork of the Scala repository used for the Dotty backend
      Scala
      3.1k1300Updated Aug 26, 2019Aug 26, 2019
    • dotty-knowledge

      Public archive
      A knowledge base of Dotty internals and all things related
      120210Updated Jul 25, 2019Jul 25, 2019
    • dotty-community-build

      Public archive
      Dotty Community Build
      6720Updated Mar 26, 2019Mar 26, 2019
    • dotty-bot

      Public
      Scala
      BSD 3-Clause "New" or "Revised" License
      1100Updated Jan 17, 2019Jan 17, 2019
    • A receptor for Dotty LSP remote tracing
      Scala
      Other
      0110Updated Sep 21, 2018Sep 21, 2018
    • Benchmarks for scalac
      Scala
      Other
      31040Updated Jul 12, 2017Jul 12, 2017
    • sbt-dotty

      Public archive
      A plugin to build your application using dotty with sbt support Edit Add topics
      3700Updated Jun 6, 2017Jun 6, 2017
    • Website for the Foundations of Software course at EPFL in the Fall 2015 semester
      CSS
      0500Updated Jan 18, 2016Jan 18, 2016
    • ensemble

      Public
      LAMP/LARA Reading Group Website
      1000Updated Mar 7, 2014Mar 7, 2014