certichain / network-transformations

Related projects ⓘ

Alternatives and complementary repositories for network-transformations

• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 2 years ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 4 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• plokhotnyuk / expression-evaluator
  Compile-time expression evaluation for Scala 2
  ☆15Updated last month
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• runarorama / slides
  ☆13Updated 9 years ago
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• miniboxing / ildl-plugin
  Data-centric metaprogramming for Scala
  ☆17Updated 9 years ago
• tel / scala-tk
  General, extensible effect monad for Scala with message-passing semantics
  ☆38Updated 7 years ago
• sjrd / scalatscomp
  A TypeScript compiler written in Scala (wip)
  ☆15Updated 8 years ago
• VirtuslabRnD / scala3-coroutines
  ☆11Updated 2 years ago
• typelevel / unique
  Unique Functional Values for Scala
  ☆17Updated 2 months ago
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆10Updated last week
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 6 years ago
• Karasiq / mapdbutils
  Scala wrappers for MapDB
  ☆12Updated 7 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• felixmulder / sbt-dotty
  A plugin to build your application using dotty with sbt support
  ☆23Updated 7 years ago
• LukaJCB / sphynx
  This library has been succeeded by cats-tagless
  ☆42Updated 6 years ago
• Crossing-Tech / babel
  Babel is a Domain Specific Language for Integration made in Scala. It provides elegant API in order to use well-known integration framewo…
  ☆11Updated 7 years ago
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• epfldata / dbstage
  ☆15Updated 4 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• smarter / dotty-bridge
  This repository is obsolete
  ☆10Updated 7 years ago