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:
- prototyping logic programming in Scala☆42Updated 3 years ago
- Program Round-off Error Certifier via Static Analysis☆50Updated 2 months ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- WebAssembly engine in Scala☆51Updated 5 years ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆70Updated 6 years ago
- 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
- Typesafe, purely functional Computational Intelligence☆124Updated 3 years ago
- A new programming model for asynchronous and distributed programming.☆37Updated 8 years ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆96Updated 5 months ago
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- Core components for the Scribble Java tools☆58Updated last year
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated 5 months ago
- GPU programming in Scala☆61Updated 13 years ago
- Purely functional genetic algorithms for multi-objective optimisation☆73Updated last month
- A Framework for building Distributed Consensus Protocols☆10Updated 8 years ago
- Declarative concurrency in Scala - The implementation of the chemical machine☆160Updated 6 months ago
- A quick tour of some cool new stuff in Scala 3.☆11Updated 3 years ago
- 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
- Solver for higher-order functional programs, used by Stainless☆92Updated 2 months ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆85Updated last week
- Solve multi-objective optimization problems with distributed evolutionary algorithms☆65Updated 2 years ago
- Generic framework for development of domain-specific compilers in Scala☆96Updated 8 years ago
- Algebraic Graphs in Scala☆27Updated 4 years ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆16Updated 8 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆74Updated 8 years ago
- ☆23Updated 11 years ago
- ☆15Updated 5 years ago