Repos by lampepfl

lampepfl / repos

30 repos

«123»
RepoLanguageStarsRank
lampepfl/lsp-viewer on Githublsp-viewerVue917,004
lampepfl/dotty-ecosystem on Githubdotty-ecosystemScala810,274
lampepfl/dotty-community-build on Githubdotty-community-buildunknown7205,953
lampepfl/sbt-dotty on Githubsbt-dottyunknown7205,949
lampepfl/dotty-ci on Githubdotty-ciDockerfile318,310
lampepfl/homebrew-brew on Githubhomebrew-brewRuby397,228
lampepfl/dotty-semanticdb on Githubdotty-semanticdbScala319,372
lampepfl/fos-coq on Githubfos-coqJupyter Notebook3177,641
lampepfl/cs206-2021-exam on Githubcs206-2021-examunknown3401,085
lampepfl/coursera-notifications on Githubcoursera-notificationsunknown2741,242