Pinned Repositories
dotty
eio
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mpl
scala-native
triton
Development repository for the Triton language and compiler
z3
The Z3 Theorem Prover
scala3
The Scala 3 compiler, also known as Dotty.
scala-advent-of-code
Scala Center's solution of Advent of Code
Decel's Repositories
Decel/dotty
Decel/eio
Decel/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Decel/mpl
Decel/scala-native
Decel/triton
Development repository for the Triton language and compiler
Decel/z3
The Z3 Theorem Prover