Alternatives and similar repositories for race

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

• namin / scalogno
  prototyping logic programming in Scala
  ☆42Updated 3 years ago
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆96Updated 6 months ago
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆160Updated 7 months ago
• satabin / swam
  WebAssembly engine in Scala
  ☆51Updated 5 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 8 years ago
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated 3 months ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated 6 months ago
• danhper / scalog
  Datalog implementation in Scala.
  ☆12Updated 11 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 3 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 4 years ago
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆70Updated 6 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 3 years ago
• ciren / cilib
  Typesafe, purely functional Computational Intelligence
  ☆124Updated 3 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• bytedeco / sbt-javacpp
  Use JavaCPP and JavaCPP presets with ease. Base plugin for JavaCPP-related projects.
  ☆39Updated 5 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated 2 years ago
• alcestes / lchannels
  Session programming in Scala
  ☆58Updated 4 years ago
• openmole / mgo
  Purely functional genetic algorithms for multi-objective optimisation
  ☆73Updated 3 weeks ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆37Updated 8 years ago
• shamsimam / savina
  Savina is an Actor Benchmark Suite.
  ☆38Updated 4 years ago
• kinoplan / utils
  A set of tools that make working with the Scala ecosystem even better.
  ☆11Updated this week
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 4 years ago
• vpavkin / neural-networks-scala
  Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala
  ☆15Updated 8 years ago
• portable-scala / sbt-crossproject.g8
  Giter8 template for a simple project that uses sbt-crossproject.
  ☆11Updated 7 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆93Updated 3 months ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆57Updated 10 months ago
• lewismj / purely_functional_graph_algos
  Library for functional graph & geometry algorithms
  ☆21Updated 6 years ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆49Updated 4 years ago
• jodersky / scala-argparse
  Pragmatic command line parsing and configuration for Scala apps
  ☆14Updated 2 years ago
• scalaz / scalaz-reactive
  A high-performance, purely-functional library for reactive programming based on efficient incremental computation
  ☆24Updated 6 years ago