Pinned Repositories
Clipper2
Polygon Clipping and Offsetting - C++, C# and Delphi
mathgraph
sdp-project
An android application for editing, sharing and answering quizzes.
inox
Solver for higher-order functional programs, used by Stainless
scallion
LL(1) parser combinators in Scala
silex
Lexing library for Scala
stainless
Verification framework and tool for higher-order Scala programs
bench
benchmark compilation of Dotty
scala3
The Scala 3 compiler, also known as Dotty.
brunnerant's Repositories
brunnerant/sdp-project
An android application for editing, sharing and answering quizzes.