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 305 32

  3. dotty-macro-examples dotty-macro-examples Public

    Various tasks solved via metaprogramming in Dotty

    Scala 134 19

  4. monadic-reflection monadic-reflection Public

    Scala 109 7

  5. tacit tacit Public

    TACIT — Tracked Agent Capabilities In Types

    Scala 82 12

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

    JavaScript 41 10

Repositories

Showing 10 of 38 repositories
  • scala3-benchmarks-data Public
    lampepfl/scala3-benchmarks-data's past year of commit activity
    Python 0 0 0 0 Updated Sep 20, 2026
  • scala3-benchmarks Public
    lampepfl/scala3-benchmarks's past year of commit activity
    Scala 4 2 7 0 Updated Sep 18, 2026
  • gears Public

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

    lampepfl/gears's past year of commit activity
    Scala 305 Apache-2.0 32 5 12 Updated Sep 15, 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
  • 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 Sep 2, 2026
  • tacit Public

    TACIT — Tracked Agent Capabilities In Types

    lampepfl/tacit's past year of commit activity
    Scala 82 Apache-2.0 12 0 1 Updated Aug 17, 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
  • capybaraclaw Public

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

    lampepfl/capybaraclaw's past year of commit activity
    Scala 7 MIT 3 0 4 Updated Jul 23, 2026
  • scala3-cc-template Public
    lampepfl/scala3-cc-template's past year of commit activity
    Scala 1 1 0 0 Updated May 26, 2026
View all repositories

Most used topics

Loading…