Pinned Repositories
angular-xeditable
Edit in place for AngularJS
baranka
Software for managing role play game Baranka 2019. Inspired by https://github.com/LucieSteiner/tildawn
dotty
Research platform for new language concepts and compiler technologies for Scala.
dotty-example-project
An example sbt project that compiles using Dotty
Kotlin-Scala.js
Compile Kotlin code to JavaScript through the Scala.js compiler
kotlin-scalajs-gradle-plugin
A Gradle plugin for running the Kotlin to ScalaJS compiler
laravel
A PHP Framework For Web Artisans
scalajs-toy-project
stainless
Verification framework for higher-order functional programs
SeanceBundle
Bundle de séance pour le Net BS
flonso's Repositories
flonso/baranka
Software for managing role play game Baranka 2019. Inspired by https://github.com/LucieSteiner/tildawn
flonso/angular-xeditable
Edit in place for AngularJS
flonso/dotty
Research platform for new language concepts and compiler technologies for Scala.
flonso/dotty-example-project
An example sbt project that compiles using Dotty
flonso/Kotlin-Scala.js
Compile Kotlin code to JavaScript through the Scala.js compiler
flonso/kotlin-scalajs-gradle-plugin
A Gradle plugin for running the Kotlin to ScalaJS compiler
flonso/laravel
A PHP Framework For Web Artisans
flonso/scalajs-toy-project
flonso/stainless
Verification framework for higher-order functional programs