Guillaume Martres's repositories
emacs-lsp-dotty
Emacs mode for IDE features when using Dotty
dotty-cats-example-project
Example sbt project that compiles using Dotty with cats as a dependency
Ammonite
Scala Scripting
atty
are you or are you not a tty?
bench
benchmark compilation of Dotty
collection-strawman
Experimenting with Scala Collections designs for Scala 2.13
dotty-example-project
An example sbt project that compiles using Dotty
fs2
Compositional, streaming I/O library for Scala
intellij-lsp
Plugin adding Language Server Protocol support for IntelliJ
java-debug
The debug server implementation for Java. It conforms to the debug protocol of Visual Studio Code.
lsp-mode
Emacs client for the Language Server Protocol
npmbug-17858
Reproduction of https://github.com/npm/npm/issues/17858
reasonable-scala
Experimental Scala compiler focused on compilation speed
sbinary
Library for describing binary formats for Scala types
sbt-derive-bug
Demonstrate bug with Def.derive
sbt-jdi-tools
Sbt plugin to add JDI tools.jar to sbt classpath.
sbt-launcher-package
Packaging for SBT so you can run it natively.
sbt-partial-unification
Enable partial unification support (SI-2712 fix) for scala 2.10/2.11/2.12/2.13
sbt-util
util modules for sbt
scala-collection-compat
Scala 2.13 Collection Compatibility Library
scala-lang
The Scala Website
shims
Seamless interop layer between cats and scalaz
stainless
Verification framework for higher-order functional programs
twitter-util
Wonderful reusable code from Twitter
VST
Verified Software Toolchain