Alternatives and similar repositories for lethe:

Users that are interested in lethe are comparing it to the libraries listed below

• sireum / v3
  Sireum v3
  ☆10Updated last year
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• gkossakowski / scalac-aspects
  Playground for instrumenting `scalac` using AspectJ.
  ☆43Updated 10 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆49Updated 7 years ago
• softwaremill / monix-correlation-id
  ☆10Updated 6 years ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• adriaanm / scala-virtualized-tutorial
  Tutorial programs that illustrate how to use scala-virtualized
  ☆23Updated 5 years ago
• wvlet / wvlet-legacy
  A new query language designed for building composable and reproducible data processing pipelines
  ☆12Updated 4 months ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 6 years ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 10 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• ctongfei / gizmos
  Cats typeclass-based collection library for Scala (Trees, Graphs, Multimaps and more!)
  ☆13Updated 7 years ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• Atry / memcontinuationed
  Memcached client for Scala
  ☆50Updated 7 years ago
• ThoughtWorksInc / DesignPattern.scala
  Functional Programming Design Patterns
  ☆16Updated 7 years ago
• emchristiansen / PersistentMap
  A type-safe, boilerplate-free, key-value store in Scala
  ☆34Updated 7 years ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated last week
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 2 years ago
• gm-spacagna / sparkz
  An extension to the amazing Spark framework for better functional programming.
  ☆28Updated 8 years ago
• newhoggy / pico-cuckoo-filter
  ☆14Updated 8 years ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 12 years ago