andreaferretti / lethe

Related projects ⓘ

Alternatives and complementary repositories for lethe

• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 9 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 6 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
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated last year
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• aoprisan / func
  FP concepts in Rust
  ☆12Updated 6 years ago
• softwaremill / monix-correlation-id
  ☆10Updated 5 years ago
• gkossakowski / scalac-aspects
  Playground for instrumenting `scalac` using AspectJ.
  ☆43Updated 10 years ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• fegaras / DIQL
  DIQL: Data Intensive Query Language
  ☆12Updated 3 years ago
• epfldata / c-scala
  C as an Embedded Language in Scala
  ☆18Updated 9 years ago
• GeorgOfenbeck / SpiralS
  ☆22Updated 10 years ago
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 12 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• ctongfei / gizmos
  Cats typeclass-based collection library for Scala (Trees, Graphs, Multimaps and more!)
  ☆13Updated 7 years ago
• koeninger / scala-view-of-rust
  ☆10Updated 6 years ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• smarter / dotty-bridge
  This repository is obsolete
  ☆10Updated 7 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• wvlet / wvlet-legacy
  A new query language designed for building composable and reproducible data processing pipelines
  ☆12Updated 2 months ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago