Skip to content

Navigation Menu

Appearance settings

lampepfl

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

Programming Methods Laboratory EPFL

161 followers
Lausanne, Switzerland
http://lamp.epfl.ch

Overview
Repositories
Projects
Packages
People

More

Overview
Repositories
Projects
Packages
People

README.md

Looking for the dotty / Scala 3 repository?

We have moved it to https://github.com/scala/scala3

Popular repositories Loading

progfun-wiki progfun-wiki Public

HTML 1.8k 2.3k
gears gears Public

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

Scala 281 31
dotty-macro-examples dotty-macro-examples Public

Various tasks solved via metaprogramming in Dotty

Scala 134 24
monadic-reflection monadic-reflection Public

Scala 108 7
scala3-macro-tutorial scala3-macro-tutorial Public

JavaScript 41 10
xml-interpolator xml-interpolator Public

XML String Interpolator for Dotty

Scala 35 6

Repositories

Loading

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All CSS Dockerfile HTML JavaScript Jupyter Notebook Python Ruby Scala Vue

Sort

Select order

Last updated Name Stars

Showing 10 of 33 repositories

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

lampepfl/gears’s past year of commit activity

Scala 281 Apache-2.0 31 4 5 Updated Aug 4, 2025
scala3-reference-docs Public
This repository contains generated language reference documentation

lampepfl/scala3-reference-docs’s past year of commit activity

HTML 1 0 2 0 Updated Jul 31, 2025
steps Public
A collection of libraries maintained by LAMP.

lampepfl/steps’s past year of commit activity

Scala 2 Apache-2.0 1 7 0 Updated Jul 28, 2025
bench-data Public
bench data for https://dotty-bench.epfl.ch

lampepfl/bench-data’s past year of commit activity

1 0 0 1 Updated Feb 25, 2025
xml-interpolator Public
XML String Interpolator for Dotty

lampepfl/xml-interpolator’s past year of commit activity

Scala 35 Apache-2.0 6 6 1 Updated Apr 16, 2024
dotty-ci Public archive
Docker image for testing dotty and other projects in the LAMP EPFL org

lampepfl/dotty-ci’s past year of commit activity

Dockerfile 3 BSD-3-Clause 11 1 0 Updated Apr 12, 2024
homebrew-brew Public archive
homebrew formula

lampepfl/homebrew-brew’s past year of commit activity

Ruby 3 10 3 0 Updated Mar 11, 2024
.github Public

lampepfl/.github’s past year of commit activity

0 0 0 0 Updated Mar 6, 2024
bench Public
benchmark compilation of Dotty

lampepfl/bench’s past year of commit activity

Scala 17 8 241 0 Updated Feb 6, 2024
progfun-wiki Public

lampepfl/progfun-wiki’s past year of commit activity

HTML 1,791 2,251 0 4 Updated Jan 23, 2024

View all repositories

People

Top languages

Scala HTML JavaScript Python Jupyter Notebook

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.