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:
- WebAssembly engine in Scala☆51Updated 5 years ago
- Declarative concurrency in Scala - The implementation of the chemical machine☆162Updated 8 months ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆96Updated 7 months ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆70Updated 6 years ago
- prototyping logic programming in Scala☆42Updated 3 years ago
- Zenoh Flow examples☆18Updated 2 years ago
- Typesafe, purely functional Computational Intelligence☆124Updated 3 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Updated 3 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 4 years ago
- A new programming model for asynchronous and distributed programming.☆37Updated 8 years ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆19Updated 2 months ago
- Use JavaCPP and JavaCPP presets with ease. Base plugin for JavaCPP-related projects.☆39Updated 5 years ago
- Savina is an Actor Benchmark Suite.☆38Updated 5 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Markov Chains for Scala☆87Updated 9 years ago
- Generic framework for development of domain-specific compilers in Scala☆96Updated 8 years ago
- Solve multi-objective optimization problems with distributed evolutionary algorithms☆65Updated 2 years ago
- Program Round-off Error Certifier via Static Analysis☆56Updated 2 months ago
- A rule engine supporting forward chaining☆46Updated 8 years ago
- GPU programming in Scala☆61Updated 13 years ago
- 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
- A reasonable library for modeling multi-graphs in Scala☆198Updated 7 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated 2 years ago
- Datalog implementation in Scala.☆12Updated 11 years ago
- Solver for higher-order functional programs, used by Stainless☆93Updated 3 weeks ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated 5 months ago
- Workflow engine for exploration of simulation models using high throughput computing☆150Updated this week
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- A quick tour of some cool new stuff in Scala 3.☆11Updated 3 years ago
- Drona is a programming framework for building safe robotics systems☆30Updated 3 years ago