MikaelMayer/WakeUp
The game where you have to wake up.
Developer Profile
MikaelMayer
Discovered public repositories for MikaelMayer in the GitHub catalog.
MikaelMayer/allthe2048
Updated index of all the 2048 variants currently out there
MikaelMayer/scala.github.com
The Scala Documentation website
MikaelMayer/StringSolver
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
MikaelMayer/reflex-tracer
Reflex Tracer in C++ / AutoIt3
MikaelMayer/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
MikaelMayer/sbt
sbt, a build tool for Scala
MikaelMayer/scala-ide
Scala IDE for Eclipse
MikaelMayer/leon
The Leon system for verification, synthesis, and more.