algebraic-graphs / scala

Related projects ⓘ

Alternatives and complementary repositories for scala

• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• hablapps / stateless
  A library which is not recognized as citizen of any infrastructure.
  ☆26Updated 4 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• TomasMikula / Principled
  (Actually) flexible law checking for Scala
  ☆15Updated 7 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• sjrd / scalatscomp
  A TypeScript compiler written in Scala (wip)
  ☆15Updated 8 years ago
• erikerlandson / gnuplot4s
  A well typed scala interface to gnuplot
  ☆10Updated 3 years ago
• tel / scala-tk
  General, extensible effect monad for Scala with message-passing semantics
  ☆38Updated 7 years ago
• earldouglas / sbt-frege
  Frege support for sbt
  ☆53Updated this week
• sir-wabbit / leibniz
  Leibniz equivalence and Liskov substitutability library for Scala.
  ☆36Updated 2 years ago
• ekmett / magpie
  an exploration of subtyping-based category theory in scala
  ☆24Updated 13 years ago
• atnos-org / origami
  Monadic folds
  ☆70Updated 2 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• dwijnand / sbt-compat
  An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation
  ☆17Updated last year
• mossprescott / invertible-syntax
  Invertible syntax and partial isomorphisms for Scala
  ☆31Updated 6 years ago
• runarorama / slides
  ☆13Updated 9 years ago
• monix / implicitbox
  Scala micro-library providing utilities for capturing implicits.
  ☆18Updated 3 years ago
• milessabin / tls-philly-rbtree-2016
  ☆16Updated 8 years ago
• LukaJCB / sphynx
  This library has been succeeded by cats-tagless
  ☆42Updated 6 years ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 11 months ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• earldouglas / linear-scala
  Linear types in Scala
  ☆39Updated this week
• stew / scatur
  A Turing Machine encoded in the scala type system
  ☆41Updated 12 years ago
• m50d / paperdoll
  Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf
  ☆49Updated 6 years ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated last week
• tpolecat / cofree
  Fun and Games with Fix, Cofree, and Doobie
  ☆40Updated 8 years ago