Programming Methods Laboratory EPFL

Skip to content

Navigation Menu

Sign in

Appearance settings

@lampepfl

Popular repositories Loading

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

    Scala 292 31

  2. Various tasks solved via metaprogramming in Dotty

    Scala 136 20

  3. XML String Interpolator for Dotty

    Scala 34 6

Repositories

Type
Select type

Language
Select language

Sort
Select order

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

Most used topics

Loading…