Alternatives and similar repositories for race

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

• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated last week
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• ciren / cilib
  Typesafe, purely functional Computational Intelligence
  ☆125Updated 3 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated 2 months ago
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆70Updated 5 years ago
• SciScala / NDScala
  N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis…
  ☆47Updated 2 years ago
• satabin / swam
  WebAssembly engine in Scala
  ☆52Updated 4 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 11 months ago
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆202Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆95Updated 3 months ago
• portable-scala / sbt-crossproject.g8
  Giter8 template for a simple project that uses sbt-crossproject.
  ☆11Updated 7 years ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• kinoplan / utils
  A set of tools that make working with the Scala ecosystem even better.
  ☆11Updated this week
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆52Updated 8 years ago
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆160Updated 3 months ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 13 years ago
• havelund / tracecontract
  A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…
  ☆11Updated 4 years ago
• epfldata / dbstage
  ☆15Updated 5 years ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• openmole / mgo
  Purely functional genetic algorithms for multi-objective optimisation
  ☆72Updated last week
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 4 years ago
• shamsimam / savina
  Savina is an Actor Benchmark Suite.
  ☆37Updated 4 years ago
• bytedeco / sbt-javacpp
  Use JavaCPP and JavaCPP presets with ease. Base plugin for JavaCPP-related projects.
  ☆38Updated 4 years ago