actor based framework for building event driven, distributed simulations
☆48Jun 25, 2024Updated 2 years ago
Alternatives and similar repositories for race
Users that are interested in race are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A set of tools that make working with the Scala ecosystem even better.☆13Updated this week
- ☆12Sep 6, 2025Updated 10 months ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Streaming PDF processor for Scala☆13Apr 2, 2025Updated last year
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A simple graph library for Scala☆10Feb 5, 2022Updated 4 years ago
- Scala bindings for Hugging Face Tokenizers☆16May 9, 2023Updated 3 years ago
- Ada projects for Make-with-Ada☆12Feb 18, 2026Updated 5 months ago
- An R package for mining software repositories☆37May 14, 2026Updated 2 months ago
- Robotics with Ada, ARM, and Lego☆17Feb 10, 2024Updated 2 years ago
- A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.☆14Sep 25, 2019Updated 6 years ago
- A set of example build and release pipelines for deploying Python and Scala to Azure Databricks and HDInsight☆14Jun 4, 2020Updated 6 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆24Jul 16, 2024Updated 2 years ago
- A Zio, Scala 3, Postgres, ScalaJS, Laminar App☆23May 2, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Gentle Introduction to Scala Native☆19May 31, 2023Updated 3 years ago
- XML String Interpolator for Dotty☆36Apr 16, 2024Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆24May 2, 2017Updated 9 years ago
- Library for fault Modelling in Modelica☆11Sep 3, 2025Updated 10 months ago
- ☆12Dec 17, 2021Updated 4 years ago
- Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows☆20Dec 7, 2024Updated last year
- ☆11Aug 25, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Work with systemd.time like calendar events in Scala☆15Updated this week
- ☆21Jan 31, 2022Updated 4 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆50Aug 22, 2024Updated last year
- Give your cats a set of dice☆38May 8, 2025Updated last year
- Un-official technical documents aimed at helping building Apollo auto-driving system on prototype cars☆10Jul 18, 2020Updated 6 years ago
- A Scala 3 DSL to compile programs for SimpleRockets 2☆11Nov 8, 2023Updated 2 years ago
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.☆14Jun 28, 2021Updated 5 years ago
- Updated ROS bindings to pocketsphinx☆11Jan 4, 2019Updated 7 years ago
- Form Combinator Library for decimating frontend boilerplate.☆38Aug 15, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Asynchronous Java NIO http/2 only packet streaming server with TLS encryption implemented as Scala CATS effect. Direct native translatio…☆14Aug 29, 2025Updated 10 months ago
- ☆28Sep 27, 2024Updated last year
- Implementation of the A* / Dijkstra search algorithms, a Probabilistic Roadmap (PRM) Planner with path smoothing, and a statistical bench…☆10Nov 15, 2019Updated 6 years ago
- Google Cloud Speech API ROS Integration☆12Jan 27, 2019Updated 7 years ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10May 18, 2025Updated last year
- A real-time data replication platform that "unbundles" the receiving, transforming, and transport of data streams.☆82Feb 16, 2024Updated 2 years ago
- Example to show how to deploy kafka dependent scala microservice with docker☆15Nov 28, 2017Updated 8 years ago