to-ithaca

Pinned Repositories

cats-scheme
Language:Scala0 2 00
coding-dojo
cats examples
Language:Scala0 3 00
hack-the-tower-mtl
MTL Workshop
Language:Scala4 4 01
hack-the-tower-recursion-schemes
Language:Scala4 3 03
hephaestus
Language:C1 3 11
iliad
In progress
Language:Scala9 6 92
libra
A dimensional analysis library based on dependent types
Language:Scala199 11 3323
libra-example
Example libra project
Language:Scala1 3 02
sbt-directive
SBT plugin enabling C like directives
Language:Scala3 3 143
sbt-iliad
Sbt plugin for android projects
Language:Scala1 3 42

to-ithaca's Repositories

to-ithaca/libra
A dimensional analysis library based on dependent types
Language:Scala199 11 3323
to-ithaca/iliad
In progress
Language:Scala9 6 92
to-ithaca/hack-the-tower-mtl
MTL Workshop
Language:Scala4 4 01
to-ithaca/hack-the-tower-recursion-schemes
Language:Scala4 3 03
to-ithaca/sbt-directive
SBT plugin enabling C like directives
Language:Scala3 3 143
to-ithaca/hephaestus
Language:C1 3 11
to-ithaca/libra-example
Example libra project
Language:Scala1 3 02
to-ithaca/sbt-iliad
Sbt plugin for android projects
Language:Scala1 3 42
to-ithaca/cats-scheme
Language:Scala0 2 00
to-ithaca/coding-dojo
cats examples
Language:Scala0 3 00
to-ithaca/theseus
Building a state machine
Language:Scala0 3 01
to-ithaca/vimes
PoC of file watcher
0 3 00
to-ithaca/hack-the-tower-fs2
Hack the tower fs2 workshop
Language:Scala3 02
to-ithaca/hack-the-tower-shapeless
Language:Scala3 01
to-ithaca/robovm
For more info see
Language:Java3 0
to-ithaca/sbt-robovm
Experimental fork of robovm to work better with the android plugin
Language:Scala3 0