Programming Methods Laboratory EPFL

@lampepfl

Popular repositories Loading

Showing 10 of 37 repositories

tacit Public
TACIT — Tracked Agent Capabilities In Types

lampepfl/tacit’s past year of commit activity

Scala
18
Apache-2.0
5 0 0
Updated Mar 24, 2026
lampepfl/scala3-benchmarks-data’s past year of commit activity

0 0
0 0
Updated Mar 24, 2026
lampepfl/scala3-cc-template’s past year of commit activity

Scala
1 1 0 0
Updated Mar 24, 2026
lampepfl/scala3-benchmarks’s past year of commit activity

Scala
2
0
3 4
Updated Mar 23, 2026
gears Public
A strawman for a low-level async library in Scala 3.

lampepfl/gears’s past year of commit activity

Scala
292
Apache-2.0
31 5 12
Updated Mar 23, 2026
steps Public
A collection of libraries maintained by LAMP.

lampepfl/steps’s past year of commit activity

Scala
13
Apache-2.0
1 9 0
Updated Feb 28, 2026
lampepfl/scala3-reference-docs’s past year of commit activity

HTML
1
0
2 0
Updated Feb 24, 2026
lampepfl/bench-data’s past year of commit activity

1
0
0 0
Updated Feb 25, 2025
lampepfl/xml-interpolator’s past year of commit activity

Scala
34
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

Loading…