NASARace / raceLinks
actor based framework for building event driven, distributed simulations
☆47Updated last year
Alternatives and similar repositories for race
Users that are interested in race are comparing it to the libraries listed below
Sorting:
- Declarative concurrency in Scala - The implementation of the chemical machine☆162Updated 7 months ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated 4 months ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆96Updated 7 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- 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
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆70Updated 6 years ago
- Typesafe, purely functional Computational Intelligence☆124Updated 3 years ago
- prototyping logic programming in Scala☆42Updated 3 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated 2 years ago
- Solve multi-objective optimization problems with distributed evolutionary algorithms☆65Updated 2 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 8 years ago
- WebAssembly engine in Scala☆51Updated 5 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- Datalog implementation in Scala.☆12Updated 11 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- Savina is an Actor Benchmark Suite.☆38Updated 4 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 5 years ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆15Updated 8 years ago
- A quick tour of some cool new stuff in Scala 3.☆11Updated 3 years ago
- Algebraic Graphs in Scala☆27Updated 4 years ago
- Purely functional genetic algorithms for multi-objective optimisation☆73Updated last month
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Updated 5 years ago
- Solver for higher-order functional programs, used by Stainless☆93Updated last week
- Example project - Run an Akka Typed application on Scala 3☆24Updated 5 years ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Updated 7 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆68Updated 11 months ago
- A rule engine supporting forward chaining☆46Updated 8 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- Verified message-passing programs in Dotty☆49Updated 4 years ago