lampepfl/dotty-ci

This repository has been archived on 12/Apr/2024
Stars
3
Rank 3,963,099 (Top 79 %)
Language
Dockerfile
License
BSD 3-Clause "New...
Created almost 8 years ago
Updated 7 months ago

lampepfl/dotty-ci

lampepfl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

progfun-wiki

gears

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

dotty-macro-examples

Various tasks solved via metaprogramming in Dotty

monadic-reflection

scala3-macro-tutorial

xml-interpolator

XML String Interpolator for 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

bench

benchmark compilation of Dotty

scala3doc

lsp-viewer

Web UI for analyzing Language Server Protocol logs

dotty-ecosystem

Procedures to manage projects ported to Dotty

sbt-dotty

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

dotty-community-build

Dotty Community Build

cs206-2021-exam

homebrew-brew

homebrew formula

dotty-semanticdb

fos-coq

fos coq project

Jupyter Notebook

coursera-notifications

bench-data

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

scala3-reference-docs

This repository contains generated language reference documentation

dotty-remote-tracer

A receptor for Dotty LSP remote tracing

dotty-release-scripts

Scripts that are used to release new versions of Dotty

dotty-bot