Explore @lampepfl Open Source projects

Programming Methods Laboratory EPFL (@lampepfl)

lampepfl

Stars
2,391
Global Org. Rank 8,123 (Top 3 %)
Registered over 11 years ago
Most used languages

Scala
55.6 %

HTML
11.1 %

Ruby
5.6 %

Dockerfile
5.6 %

JavaScript
5.6 %

Vue 5.6 %

Python
5.6 %

Jupyter Notebook
5.6 %
Location 🇨🇭 Switzerland
Country Total Rank 44
Country Ranking

Scala
6

HTML
8

Vue 63

Dockerfile
126

Ruby
425

JavaScript
501

Jupyter Notebook
980

Python
4,519

progfun-wiki

gears

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

dotty-macro-examples

Various tasks solved via metaprogramming in Dotty

monadic-reflection

scala3-macro-tutorial

dotty-feature-requests

Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests

xml-interpolator

XML String Interpolator for Dotty

dotty-knowledge

A knowledge base of Dotty internals and all things related

bench

benchmark compilation of Dotty

scala3doc

lsp-viewer

Web UI for analyzing Language Server Protocol logs

dotty-ecosystem

Procedures to manage projects ported to Dotty

sbt-dotty

A plugin to build your application using dotty with sbt support Edit Add topics

dotty-community-build

Dotty Community Build

cs206-2021-exam

dotty-ci

Docker image for testing dotty and other projects in the LAMP EPFL org

homebrew-brew

homebrew formula

dotty-semanticdb

fos-coq

fos coq project

Jupyter Notebook

coursera-notifications

bench-data

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

scala3-reference-docs

This repository contains generated language reference documentation

dotty-website

dotty-remote-tracer

A receptor for Dotty LSP remote tracing

dotty-bot

dotty-release-scripts

Scripts that are used to release new versions of Dotty