Skip to content

@lampepfl Programming Methods Laboratory EPFL

Change the repository type filter

All

    Repositories list

    37 repositories

    • tacit

      Public
      TACIT — Tracked Agent Capabilities In Types
      agentscalamcp
      agentscalamcpcapability
      Scala
      •
      Apache License 2.0
      •4•28•0•0•Updated Apr 19, 2026Apr 19, 2026

    • scala3-benchmarks-data

      Public
      0•0•0•0•Updated Apr 19, 2026Apr 19, 2026

    • scala3-cc-template

      Public
      Scala
      •1•1•0•0•Updated Apr 18, 2026Apr 18, 2026

    • steps

      Public
      A collection of libraries maintained by LAMP.
      Scala
      •
      Apache License 2.0
      •1•13•11•0•Updated Apr 17, 2026Apr 17, 2026

    • scala3-reference-docs

      Public
      This repository contains generated language reference documentation
      HTML
      •0•1•2•0•Updated Mar 31, 2026Mar 31, 2026

    • scala3-benchmarks

      Public
      Scala
      •0•4•3•4•Updated Mar 23, 2026Mar 23, 2026

    • gears

      Public
      A strawman for a low-level async library in Scala 3.
      Scala
      •
      Apache License 2.0
      •31•293•5•12•Updated Mar 23, 2026Mar 23, 2026

    • bench-data

      Public
      bench data for https://dotty-bench.epfl.ch
      0•1•0•0•Updated Feb 25, 2025Feb 25, 2025

    • xml-interpolator

      Public
      XML String Interpolator for Dotty
      Scala
      •
      Apache License 2.0
      •6•35•6•1•Updated Apr 16, 2024Apr 16, 2024

    • dotty-ci

      Public archive
      Docker image for testing dotty and other projects in the LAMP EPFL org
      Dockerfile
      •
      BSD 3-Clause "New" or "Revised" License
      •11•3•1•0•Updated Apr 12, 2024Apr 12, 2024

    • homebrew-brew

      Public archive
      homebrew formula
      Ruby
      •9•3•3•0•Updated Mar 11, 2024Mar 11, 2024

    • .github

      Public
      0•0•0•0•Updated Mar 6, 2024Mar 6, 2024

    • bench

      Public
      benchmark compilation of Dotty
      Scala
      •8•17•241•0•Updated Feb 6, 2024Feb 6, 2024

    • progfun-wiki

      Public
      HTML
      •2.2k•1.8k•0•4•Updated Jan 23, 2024Jan 23, 2024

    • monadic-reflection

      Public
      Scala
      •7•108•3•1•Updated Jan 7, 2024Jan 7, 2024

    • dotty-feature-requests

      Public archive
      Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
      2•31•125•0•Updated Jun 5, 2023Jun 5, 2023

    • dotty-release-scripts

      Public archive
      Scripts that are used to release new versions of Dotty
      Python
      •0•0•0•1•Updated May 23, 2023May 23, 2023

    • lsp-viewer

      Public
      Web UI for analyzing Language Server Protocol logs
      Vue
      •
      MIT License
      •0•13•0•32•Updated Feb 28, 2023Feb 28, 2023

    • dotty-macro-examples

      Public
      Various tasks solved via metaprogramming in Dotty
      Scala
      •20•136•1•1•Updated Sep 12, 2022Sep 12, 2022

    • fos-coq

      Public
      fos coq project
      Jupyter Notebook
      •1•3•0•0•Updated Nov 30, 2021Nov 30, 2021

    • cs206-2021-exam

      Public
      2•3•0•0•Updated Jul 10, 2021Jul 10, 2021

    • packtest

      Public archive
      On-demand test for dotty release packages on Linux/Mac/Windows
      0•0•0•0•Updated Mar 31, 2021Mar 31, 2021

    • scala3doc

      Public archive
      Scala
      •6•16•2•1•Updated Feb 17, 2021Feb 17, 2021

    • scala3-macro-tutorial

      Public
      JavaScript
      •10•41•5•0•Updated Jan 13, 2021Jan 13, 2021

    • dotty-ecosystem

      Public archive
      Procedures to manage projects ported to Dotty
      Scala
      •1•8•2•0•Updated Aug 9, 2020Aug 9, 2020

    • dotty-semanticdb

      Public
      Scala
      •2•3•1•0•Updated Jan 17, 2020Jan 17, 2020

    • scala

      Public
      Fork of the Scala repository used for the Dotty backend
      Scala
      •3.1k•13•0•0•Updated Aug 26, 2019Aug 26, 2019

    • dotty-knowledge

      Public archive
      A knowledge base of Dotty internals and all things related
      1•20•21•0•Updated Jul 25, 2019Jul 25, 2019

    • dotty-community-build

      Public archive
      Dotty Community Build
      6•7•2•0•Updated Mar 26, 2019Mar 26, 2019

    • dotty-bot

      Public
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Jan 17, 2019Jan 17, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.