Jérôme Amiguet's repositories
akka-http-oauth2-provider
This library is enabled using scala-oauth2-provider in Akka HTTP
Language:ScalaMIT000
atom-ide-ui
A collection of user interfaces for Atom IDE.
Language:JavaScriptNOASSERTION000
beamer
A LaTeX class for producing presentations and slides
Language:TeXNOASSERTION000
metals
Scala language server with rich IDE features 🚀
Language:ScalaApache-2.0000
Language:TeX000
Rewriting-Rules-Tests
Testing Rewriting Rules using @Rewrite
scala-debugger
Scala libraries and tooling utilizing the Java Debugger Interface.
Language:ScalaApache-2.0000
Scala-Rewrites-Property
Scala Macro that generates properties for rewriting rules using the @Rewrites notation
scalameta
Library to read, analyze, transform and generate Scala programs
Language:ScalaBSD-3-Clause000
sttp-model
Simple Scala HTTP model
Apache-2.0000