Skip to content
@to-ithaca

to-ithaca

Popular repositories Loading

  1. libra libra Public

    A dimensional analysis library based on dependent types

    Scala 199 23

  2. iliad iliad Public

    In progress

    Scala 9 2

  3. hack-the-tower-mtl hack-the-tower-mtl Public

    MTL Workshop

    Scala 4 1

  4. hack-the-tower-recursion-schemes hack-the-tower-recursion-schemes Public

    Scala 4 3

  5. sbt-directive sbt-directive Public

    SBT plugin enabling C like directives

    Scala 3 3

  6. sbt-iliad sbt-iliad Public

    Sbt plugin for android projects

    Scala 1 2

Repositories

Showing 10 of 16 repositories
  • libra Public

    A dimensional analysis library based on dependent types

    to-ithaca/libra’s past year of commit activity
    Scala 199 23 10 15 Updated Aug 15, 2024
  • libra-example Public

    Example libra project

    to-ithaca/libra-example’s past year of commit activity
    Scala 1 Apache-2.0 2 0 0 Updated Dec 26, 2017
  • to-ithaca/hack-the-tower-recursion-schemes’s past year of commit activity
    Scala 4 Apache-2.0 3 0 0 Updated May 30, 2017
  • coding-dojo Public

    cats examples

    to-ithaca/coding-dojo’s past year of commit activity
    Scala 0 Apache-2.0 0 0 0 Updated May 18, 2017
  • hephaestus Public
    to-ithaca/hephaestus’s past year of commit activity
    C 1 Apache-2.0 1 1 0 Updated May 14, 2017
  • theseus Public

    Building a state machine

    to-ithaca/theseus’s past year of commit activity
    Scala 0 Apache-2.0 1 0 0 Updated Apr 23, 2017
  • vimes Public

    PoC of file watcher

    to-ithaca/vimes’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Mar 18, 2017
  • hack-the-tower-fs2 Public

    Hack the tower fs2 workshop

    to-ithaca/hack-the-tower-fs2’s past year of commit activity
    Scala 0 Apache-2.0 2 0 0 Updated Mar 18, 2017
  • to-ithaca/hack-the-tower-shapeless’s past year of commit activity
    Scala 0 1 0 0 Updated Feb 17, 2017
  • hack-the-tower-mtl Public

    MTL Workshop

    to-ithaca/hack-the-tower-mtl’s past year of commit activity
    Scala 4 1 0 0 Updated Nov 12, 2016

Top languages

Loading…

Most used topics

Loading…