Pinned Repositories
scala3
The Scala 3 compiler, also known as Dotty.
improvement-proposals
Scala Improvement Proposals
lisa
Proof assistant based on first-order logic and set theory
astexplorer
A web tool to explore the ASTs generated by various parsers.
dotty
libretto
Declarative concurrency and stream processing library for Scala
scala-advent-of-code
Scala Center's solution of Advent of Code
tyqu
Type-safe Queries
upickle
Test new Mirror API with default arguments
dotty
Research platform for new language concepts and compiler technologies for Scala.
EugeneFlesselle's Repositories
EugeneFlesselle/improvement-proposals
Scala Improvement Proposals
EugeneFlesselle/lisa
Proof assistant based on first-order logic and set theory
EugeneFlesselle/astexplorer
A web tool to explore the ASTs generated by various parsers.
EugeneFlesselle/dotty
EugeneFlesselle/libretto
Declarative concurrency and stream processing library for Scala
EugeneFlesselle/scala-advent-of-code
Scala Center's solution of Advent of Code
EugeneFlesselle/tyqu
Type-safe Queries
EugeneFlesselle/upickle
Test new Mirror API with default arguments