Alternatives and similar repositories for race

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

• 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
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 5 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 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 last year
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 7 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 13 years ago
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• vpavkin / neural-networks-scala
  Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala
  ☆16Updated 7 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
• tristanpenman / chordial
  A simple Scala implementation of Chord, a distributed lookup protocol
  ☆24Updated 2 years ago
• epfldata / c-scala
  C as an Embedded Language in Scala
  ☆18Updated 10 years ago
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆71Updated 5 years ago
• miniboxing / ildl-plugin
  Data-centric metaprogramming for Scala
  ☆17Updated 9 years ago
• pashashiz / scanet3
  Type-safe, high performance, distributed Neural networks in Scala
  ☆29Updated last year
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated last week
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• epfldata / dbstage
  ☆15Updated 4 years ago
• piotr-kalanski / SPlot
  Scala library for data visualization.
  ☆10Updated 8 years ago
• jokade / scalanative-cocoa
  A scala-native bridge to Cocoa
  ☆22Updated 2 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• sbt / sbt-osgi
  sbt plugin for creating OSGi bundles
  ☆47Updated last week
• typelevel / catalysts
  ☆33Updated 6 years ago
• openmole / mgo
  Purely functional genetic algorithms for multi-objective optimisation
  ☆72Updated 2 months ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 7 years ago
• heathermiller / papers-documents
  Papers I (+ collaborators) have written or am currently writing
  ☆20Updated 7 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 7 months ago