Skip to content
@lampepfl

Programming Methods Laboratory EPFL

README.md

Popular repositories Loading

  1. progfun-wiki progfun-wiki Public

    HTML 1.8k 2.2k

  2. gears gears Public

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

    Scala 306 32

  3. tacit tacit Public

    TACIT — Tracked Agent Capabilities In Types

    Scala 145 18

  4. dotty-macro-examples dotty-macro-examples Public

    Various tasks solved via metaprogramming in Dotty

    Scala 135 19

  5. monadic-reflection monadic-reflection Public

    Scala 110 7

  6. scala3-macro-tutorial scala3-macro-tutorial Public

    JavaScript 42 10

Repositories

Showing 10 of 39 repositories
  • scala3-benchmarks-data Public
    lampepfl/scala3-benchmarks-data's past year of commit activity
    Python 0 0 0 0 Updated Nov 6, 2026
  • 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 Nov 3, 2026
  • gears Public

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

    lampepfl/gears's past year of commit activity
    Scala 306 Apache-2.0 32 5 12 Updated Oct 30, 2026
  • atc Public

    A Safe Agent With Tracked Capabilities

    lampepfl/atc's past year of commit activity
    Scala 40 Apache-2.0 0 1 1 Updated Oct 17, 2026
  • tacit Public

    TACIT — Tracked Agent Capabilities In Types

    lampepfl/tacit's past year of commit activity
    Scala 145 Apache-2.0 18 1 1 Updated Oct 15, 2026
  • capybaraclaw Public

    An always-running agent, but is trustworthy and secure.

    lampepfl/capybaraclaw's past year of commit activity
    Scala 11 MIT 4 0 0 Updated Oct 12, 2026
  • scala3-benchmarks Public
    lampepfl/scala3-benchmarks's past year of commit activity
    Scala 4 3 7 1 Updated Sep 22, 2026
  • steps Public

    A collection of libraries maintained by LAMP.

    lampepfl/steps's past year of commit activity
    Scala 15 Apache-2.0 3 9 0 Updated Sep 6, 2026
  • bench-data Public archive

    bench data for https://dotty-bench.epfl.ch

    lampepfl/bench-data's past year of commit activity
    1 0 0 0 Updated Aug 3, 2026
  • bench Public archive

    benchmark compilation of Dotty

    lampepfl/bench's past year of commit activity
    Scala 16 8 241 0 Updated Aug 3, 2026
View all repositories