NASARace / raceLinks
actor based framework for building event driven, distributed simulations
☆43Updated last year
Alternatives and similar repositories for race
Users that are interested in race are comparing it to the libraries listed below
Sorting:
- 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
- ☆23Updated 11 years ago
- Datalog implementation in Scala.☆12Updated 11 years ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆71Updated 5 years ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- GPU programming in Scala☆61Updated 13 years ago
- Example project - Run an Akka Typed application on Scala 3☆24Updated 5 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆68Updated 4 months 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
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last year
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆17Updated last year
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Purely functional genetic algorithms for multi-objective optimisation☆72Updated 3 weeks ago
- Sireum v3☆10Updated last year
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Scala library for data visualization.☆10Updated 8 years ago
- Typesafe, purely functional Computational Intelligence☆124Updated 2 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated last week
- Fast streams for Scala 3☆53Updated 4 months ago
- The main repository integrating the LaTeX beamer-based slides☆24Updated 2 months ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆16Updated 7 years ago
- Use JavaCPP and JavaCPP presets with ease. Base plugin for JavaCPP-related projects.☆39Updated 4 years ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆91Updated last week
- Session programming in Scala☆59Updated 4 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Generic framework for development of domain-specific compilers in Scala☆96Updated 7 years ago
- Algebraic Graphs in Scala☆27Updated 3 years ago
- ☆33Updated 6 years ago