lampepfl/bench lampepfl/bench

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    Scala
  • Created almost 7 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lampepfl/bench
github

lampepfl

Reviews

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

Repository Details

benchmark compilation of Dotty

More Repositories

1

progfun-wiki

HTML
1,784
star
2

gears

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

dotty-macro-examples

Various tasks solved via metaprogramming in Dotty
Scala
125
star
4

monadic-reflection

Scala
106
star
5

scala3-macro-tutorial

JavaScript
40
star
6

xml-interpolator

XML String Interpolator for Dotty
Scala
32
star
7

dotty-feature-requests

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

dotty-knowledge

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

scala3doc

Scala
16
star
10

lsp-viewer

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

dotty-ecosystem

Procedures to manage projects ported to Dotty
Scala
8
star
12

sbt-dotty

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

dotty-community-build

Dotty Community Build
7
star
14

cs206-2021-exam

3
star
15

dotty-ci

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

homebrew-brew

homebrew formula
Ruby
3
star
17

dotty-semanticdb

Scala
3
star
18

fos-coq

fos coq project
Jupyter Notebook
3
star
19

coursera-notifications

2
star
20

bench-data

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

scala3-reference-docs

This repository contains generated language reference documentation
HTML
1
star
22

dotty-remote-tracer

A receptor for Dotty LSP remote tracing
Scala
1
star
23

dotty-release-scripts

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

dotty-bot

Scala
1
star