Alternatives and similar repositories for race:

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

• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 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
• 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
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 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…
  ☆10Updated 4 years ago
• rjolly / scas
  Scala Algebra System
  ☆16Updated last week
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• danhper / scalog
  Datalog implementation in Scala.
  ☆12Updated 10 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• jokade / scalanative-cocoa
  A scala-native bridge to Cocoa
  ☆22Updated 2 years ago
• typelevel / catalysts
  ☆33Updated 5 years ago
• ihji / yoyak
  ☆17Updated 3 years 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
• kiritsuku / amora
  The semantic search engine where anyone can define anything anywhere
  ☆30Updated 7 years ago
• GnaneshKunal / scala-native-starter
  A starter for scala-native.
  ☆27Updated 7 years ago
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆71Updated 5 years ago
• ISCPIF / freedsl
  Practical effect composition library based on abstract wrapping type and the free monad
  ☆37Updated 6 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• jodersky / scala-argparse
  Pragmatic command line parsing and configuration for Scala apps
  ☆14Updated 2 years ago
• tpolecat / turtles
  Generalized recursion schemes and traversals for Scala, using Cats.
  ☆8Updated 6 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• phaller / spores3
  Abstractions for making closures in Scala safer and more flexible
  ☆16Updated last year
• openmole / mgo
  Purely functional genetic algorithms for multi-objective optimisation
  ☆72Updated last month
• twitter-incubator / classpath-verifier
  Verify that all reachable code links and will not fail at runtime with a linkage error
  ☆10Updated 2 years ago
• slamdata / quark
  Quark: An Embedded DSL for Quasar Analytics
  ☆45Updated 7 years ago