-
-
cedricbastin.github.io Public
Blogging platforms come and go, but I want my content to be in a safe place.
SCSS UpdatedJan 10, 2021 -
copy-virtualization-lms-core Public
fork of TiarkRompf/virtualization-lms-core with added branch macro-trans-1.0
-
virtualization-lms-core Public
Forked from TiarkRompf/virtualization-lms-coreA Framework for Runtime Code Generation and Compiled DSLs
-
ScalaAG Public
Recursion schemes for acyclic graphs in Scala (optional semester project at LAMP@EPFL)
-
LeonSplay Public
encoding proof about splay tree operation in Leon, project for class "synthesis, analysis and verification" at EPFL
Scala UpdatedMay 27, 2015 -
99ScalaProblems Public
the scala problems from http://aperiodic.net/phil/scala/s-99/
Scala UpdatedApr 10, 2015 -
functadelic Public
Forked from manojo/functadelicADP PC testing
Scala MIT License UpdatedMar 23, 2015 -
{{ message }}