lampepfl/scala3-reference-docs lampepfl/scala3-reference-docs

  • Stars
    star
    1
  • Language
    HTML
  • Created about 2 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lampepfl/scala3-reference-docs
github

lampepfl

Reviews

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

Repository Details

This repository contains generated language reference documentation

More Repositories

1

progfun-wiki

HTML
1,776
star
2

gears

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

dotty-macro-examples

Various tasks solved via metaprogramming in Dotty
Scala
121
star
4

monadic-reflection

Scala
101
star
5

scala3-macro-tutorial

JavaScript
39
star
6

dotty-feature-requests

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

xml-interpolator

XML String Interpolator for Dotty
Scala
28
star
8

dotty-knowledge

A knowledge base of Dotty internals and all things related
20
star
9

bench

benchmark compilation of Dotty
Scala
17
star
10

scala3doc

Scala
16
star
11

lsp-viewer

Web UI for analyzing Language Server Protocol logs
Vue
9
star
12

dotty-ecosystem

Procedures to manage projects ported to Dotty
Scala
8
star
13

sbt-dotty

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

dotty-community-build

Dotty Community Build
7
star
15

cs206-2021-exam

3
star
16

dotty-ci

Docker image for testing dotty and other projects in the LAMP EPFL org
Dockerfile
3
star
17

homebrew-brew

homebrew formula
Ruby
3
star
18

dotty-semanticdb

Scala
3
star
19

fos-coq

fos coq project
Jupyter Notebook
3
star
20

coursera-notifications

2
star
21

bench-data

bench data for https://dotty-bench.epfl.ch
1
star
22

dotty-website

Dotty Website
1
star
23

dotty-remote-tracer

A receptor for Dotty LSP remote tracing
Scala
1
star
24

dotty-release-scripts

Scripts that are used to release new versions of Dotty
Python
1
star
25

dotty-bot

Scala
1
star