NASARace / race
actor based framework for building event driven, distributed simulations
☆37Updated 2 months ago
Related projects: ⓘ
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 4 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Updated 5 years ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆70Updated 4 years ago
- Datalog implementation in Scala.☆12Updated 10 years ago
- Scala library for data visualization.☆10Updated 7 years ago
- Papers I (+ collaborators) have written or am currently writing☆20Updated 6 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 6 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆27Updated 5 months ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 2 years ago
- A quotation-based Scala DSL for scalable data analysis.☆63Updated 2 years ago
- Generic framework for development of domain-specific compilers in Scala☆96Updated 6 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated 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 last year
- Lightweight affine types and object capabilities in Scala☆31Updated 5 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆66Updated last year
- Giter8 template for a simple project that uses sbt-crossproject.☆11Updated 6 years ago
- C as an Embedded Language in Scala☆17Updated 9 years ago
- Generic computer vision in Scala☆13Updated 3 weeks ago
- GPU programming in Scala☆61Updated 12 years ago
- Sireum v3☆10Updated last year
- Convert any value to code☆12Updated last year
- Library for deep embedding of DSLs based on Scala macros.☆74Updated 8 years ago
- training neural networks with akka☆54Updated 4 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 3 years ago
- Lightweight vector and matrix math library for OpenGL programming in Scala.☆10Updated 9 years ago
- Core components for the Scribble Java tools☆55Updated 3 years ago
- dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-sty…☆45Updated last week
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago