GitHub topics: stream-processing
csp-community/csp-benchmarks
Benchmarks for csp
Language: Python - Size: 16.6 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
Point72/csp-adapter-slack
A csp adapter for slack
Language: Python - Size: 119 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 7 - Forks: 1
Point72/csp-gateway
csp-gateway is a framework for building high-performance streaming applications
Language: Python - Size: 8.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 22 - Forks: 5
Point72/csp-adapter-symphony
A csp adapter for symphony
Language: Python - Size: 149 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 8 - Forks: 3
Point72/csp-bot
Reactive chat bot framework
Language: Python - Size: 361 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 9 - Forks: 2
EduardRoy1992/datastream-hub
🌐 Manage and streamline your data streams with datastream-hub, a versatile toolkit for integrating and deploying robust data solutions.
Size: 6.82 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
csp-community/csp-adapter-discord
A csp adapter for discord
Language: Python - Size: 107 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3 - Forks: 1
s243a/UnifyWeaver
Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.
Language: Prolog - Size: 1.88 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
kantord/headson
head/tail for structured data - summarize/preview JSON/YAML files
Language: Rust - Size: 59.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 44 - Forks: 3
GridProtectionAlliance/openPDC
Open Source Phasor Data Concentrator
Language: C# - Size: 2.59 GB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 150 - Forks: 58
kalmyk/fox-wamp
Web Application Message Async Server and WAMP/MQTT bridge
Language: JavaScript - Size: 1.09 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 14 - Forks: 6
volga-project/volga
Real-time data processing/feature engineering in Rust and Python. Tailored for modern AI/ML systems.
Language: Rust - Size: 12.8 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 72 - Forks: 5
apache/hudi
Upserts, Deletes And Incremental Processing on Big Data.
Language: Java - Size: 2.24 GB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 6,025 - Forks: 2,442
Correia-jpv/fucking-awesome-bigdata
A curated list of awesome big data frameworks, resources and other awesomeness. With repository stars⭐ and forks🍴
Size: 655 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 11 - Forks: 1
bearsunday/BEAR.Streamer
A HTTP stream transfer
Language: PHP - Size: 118 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 2
numaproj/numaflow
Kubernetes-native platform to run massively parallel data/streaming jobs
Language: Rust - Size: 52.7 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,416 - Forks: 146
PeerDB-io/peerdb
Fast, Simple and a cost effective tool to replicate data from Postgres to Data Warehouses, Queues and Storage
Language: Go - Size: 19.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,817 - Forks: 163
ag2ai/faststream
FastStream is a powerful and easy-to-use asynchronous Python framework for building asynchronous services interacting with event streams such as Apache Kafka, RabbitMQ, NATS and Redis.
Language: Python - Size: 47.8 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4,753 - Forks: 306
kushal-bage/Streaming-Data-Pipeline
📡 Build a robust streaming data pipeline using Docker, Kafka, Spark, and Cassandra for real-time ingestion, processing, and analytics.
Language: Jupyter Notebook - Size: 4.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0
Banno/kafka4s
Functional programming with Kafka and Scala
Language: Scala - Size: 3.36 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 99 - Forks: 18
redpanda-data/redpanda
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
Language: C++ - Size: 131 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 11,309 - Forks: 698
pauloeduardo1991/geo-ai-agent
🌍 Automate webpage content audits with GEO Agent Crew, extracting insights and optimization suggestions using cutting-edge AI tools for better online performance.
Language: Python - Size: 1.59 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 1
memgraph/memgraph
Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.
Language: C++ - Size: 81.7 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 3,471 - Forks: 184
Kurento/kurento
Kurento WebRTC Media Server
Language: C - Size: 132 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 411 - Forks: 75
luisgamer05/fraud-detection-system
🛡️ Build a robust fraud detection system with ensemble machine learning models for real-time insights and explainable AI.
Language: Python - Size: 1.47 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
jzinxkra/Tradewatch
A modular trade monitoring & alerting system built with Python. Analyzes market activity and detects unusual behavior. Real-time cryptocurrency trade analytics platform
Language: Python - Size: 3.91 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0
confluentinc/ksql
The database purpose-built for stream processing applications.
Language: Java - Size: 223 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 262 - Forks: 1,042
wesleyscholl/SlipStream
⚡ Real-time fraud & anomaly detection system for streaming transactions. Built with Kafka Streams + Isolation Forest ML. Low-latency processing, online learning, and scalable architecture for detecting fraud patterns in transaction data. 🚨🔍
Language: Java - Size: 116 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 0
vectordotdev/vector
A high-performance observability data pipeline.
Language: Rust - Size: 124 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 20,764 - Forks: 1,917
google-ai-edge/mediapipe
Cross-platform, customizable ML solutions for live and streaming media.
Language: C++ - Size: 578 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 32,014 - Forks: 5,618
MaterializeInc/materialize
The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
Language: Rust - Size: 279 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 6,167 - Forks: 482
memgraph/mage
MAGE - Memgraph Advanced Graph Extensions :crystal_ball:
Language: C++ - Size: 22.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 322 - Forks: 33
yomorun/yomo
🦖 Serverless AI Agent Framework with Geo-distributed Edge AI Infra.
Language: Go - Size: 66.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,866 - Forks: 140
fluent/fluent-bit
Fast and Lightweight Logs, Metrics and Traces processor for Linux, BSD, OSX and Windows
Language: C - Size: 125 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 7,435 - Forks: 1,824
timeplus-io/proton
⚡ Fastest SQL ETL pipeline in a single C++ binary, built for stream processing, observability, analytics and AI/ML
Language: C++ - Size: 564 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2,079 - Forks: 96
telophasehq/tangent
Stream processing with real languages, not DSLs.
Language: Rust - Size: 941 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 21 - Forks: 1
pathwaycom/pathway
Python ETL framework for stream processing, real-time analytics, LLM pipelines, and RAG.
Language: Python - Size: 133 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 50,011 - Forks: 1,454
redpanda-data/connect
Fancy stream processing made operationally mundane
Language: Go - Size: 35.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 8,501 - Forks: 899
certeu/morio
Connect - Stream - Observe - Respond | Morio provides the plumbing for your observability needs
Language: JavaScript - Size: 28 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 27 - Forks: 4
risingwavelabs/risingwave
Streaming data platform. Real-time stream processing, low-latency serving, and Iceberg table management.
Language: Rust - Size: 183 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 8,521 - Forks: 707
apache/streampipes
Apache StreamPipes - A self-service (Industrial) IoT toolbox to enable non-technical users to connect, analyze and explore IoT data streams.
Language: Java - Size: 314 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 685 - Forks: 212
javascriptdata/danfojs
Danfo.js is an open source, JavaScript library providing high performance, intuitive, and easy to use data structures for manipulating and processing structured data.
Language: TypeScript - Size: 79.1 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 5,021 - Forks: 222
sanmai/pipeline
Build streaming pipelines in PHP. The missing pipe operator. General-purpose collection pipeline. Since 2017.
Language: PHP - Size: 1.04 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 73 - Forks: 6
naughtygopher/nibbler
A light-weight package for in-app micro batch processing
Language: Go - Size: 48.8 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 13 - Forks: 0
Axual/ksml
Kafka Streams without Java
Language: Java - Size: 7.66 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 28 - Forks: 14
iferdel/sensor-data-streaming-pubsub
Hybrid IIoT system using PubSub as backbone by means of Go/RabbitMQ, PostgreSQL with TimeScaleDB extension for storage, Alloy and Loki for logs, and Grafana for real-time visualization. Interaction via a CLI tool, which communicates with an HTTP REST API server. Deployed on Kubernetes through GitOps.
Language: Go - Size: 60.6 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 6 - Forks: 0
hazelcast/hazelcast
Hazelcast is a unified real-time data platform combining stream processing with a fast data store, allowing customers to act instantly on data-in-motion for real-time insights.
Language: Java - Size: 389 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 6,471 - Forks: 1,869
saidsef/aws-kinesis-local
AWS Kinesis local for building applications with streaming data
Language: Dockerfile - Size: 143 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 22 - Forks: 4
manuzhang/awesome-streaming
a curated list of awesome streaming frameworks, applications, etc
Size: 2.72 MB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 2,925 - Forks: 311
eventflux-io/engine
Rust-native, pattern-first stream processing engine (CEP): filters, joins, enrichment, windows—low latency on-prem & Kubernetes.
Language: Rust - Size: 2.72 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 3 - Forks: 1
runreveal/kawa
A blazingly fast event stream processing library powering the reveald event processing daemon.
Language: Go - Size: 1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 143 - Forks: 3
reugn/go-streams
A lightweight stream processing library for Go
Language: Go - Size: 561 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 2,125 - Forks: 172
koralium/flowtide
High-performance streaming SQL query engine designed for real-time data processing. Use cases include event-driven architectures, ETL pipelines, and modern data-intensive applications.
Language: C# - Size: 74.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 93 - Forks: 7
madd86/awesome-system-design
A curated list of awesome System Design (A.K.A. Distributed Systems) resources.
Size: 1.71 MB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 11,121 - Forks: 1,219
microsoft/psi
Platform for Situated Intelligence
Language: C# - Size: 37.2 MB - Last synced at: 6 days ago - Pushed at: 13 days ago - Stars: 563 - Forks: 103
oxnr/awesome-bigdata
A curated list of awesome big data frameworks, ressources and other awesomeness.
Size: 843 KB - Last synced at: 10 days ago - Pushed at: 9 months ago - Stars: 14,030 - Forks: 2,585
spring-cloud/spring-cloud-stream
Framework for building Event-Driven Microservices
Language: Java - Size: 19.1 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1,051 - Forks: 630
velostreamai/velostream
Velostream is a high-performance streaming SQL engine built in Rust, designed for real-time analytics on financial and time-series data. It supports pluggable formats (JSON, Avro, Protobuf) and emphasizes low-latency processing, precision, and seamless integration with modern data pipelines
Language: Rust - Size: 17.8 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 1
grc-iit/ChronoLog
A High-Performance Storage Infrastructure for Activity and Log Workloads
Language: C++ - Size: 6.82 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 7 - Forks: 7
GridProtectionAlliance/gsf
Grid Solutions Framework
Language: C# - Size: 249 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 168 - Forks: 72
TouK/nussknacker
Low-code tool for automating actions on real time data | Stream processing for the users.
Language: Scala - Size: 202 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 703 - Forks: 101
bakdata/streams-bootstrap
Utility functions and base classes for Kafka Streams applications
Language: Java - Size: 26.2 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 33 - Forks: 3
will-white/dahua-companion
Small, simple, and fast event driven Dahua (Amcrest) doorbell processor for home automation integration
Language: Go - Size: 23.9 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
DiogoRibeiro7/streaming-lakehouse-lab
Modern Flink 2.x + Kafka 4.x + Iceberg lakehouse demos with SQL, PyFlink, and Java.
Language: Python - Size: 220 KB - Last synced at: 11 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
systemaccounting/mxfactorial
a payment application intended for deployment by the united states treasury that replaces banking with accounting
Language: Rust - Size: 6.96 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 53 - Forks: 26
Hapag-Lloyd/fluent-bit-multiline
Fast and Lightweight Logs and Metrics processor for Linux, BSD, OSX and Windows.
Language: Dockerfile - Size: 164 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 2 - Forks: 1
pbernet/akka_streams_tutorial
A collection of runnable and self-contained examples inspired by various akka-streams (pekko-streams), Alpakka (Pekko connectors) and akka-http (pekko-http) docs, tutorials and blogs
Language: Scala - Size: 66.6 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 33 - Forks: 11
glassflow/cli
GlassFlow CLI to create and manage real-time data pipelines
Language: Go - Size: 76.2 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 5 - Forks: 0
ArroyoSystems/arroyo
Distributed stream processing engine in Rust
Language: Rust - Size: 15.5 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 4,636 - Forks: 318
creek-service/creek-kafka
Creek Kafka support
Language: Java - Size: 2.46 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 5 - Forks: 0
miroslavpejic85/mirotalkbro
📡 MiroTalk WebRTC Live Broadcast allows to broadcast live video, audio and screen stream to all connected users (viewers).
Language: JavaScript - Size: 1.75 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 184 - Forks: 47
mstrslv13/fetcha-stream
Fetch streaming media as easy as CMD+C! Simple, modern and powerful. Download straight from your web browser.
Language: Swift - Size: 35.6 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0
getsentry/arroyo
A library to build streaming applications that consume from and produce to Kafka.
Language: Python - Size: 1.66 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 56 - Forks: 6
online-ml/river
🌊 Online machine learning in Python
Language: Python - Size: 323 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 5,602 - Forks: 598
glassflow/glassflow-python-sdk
GlassFlow Python SDK to publish and consume data to your pipelines at Glassflow.dev
Language: Python - Size: 4.86 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 9 - Forks: 1
vihangamallawaarachchi2001/kafka-demo
Real-time event analytics with Kafka (KRaft), Redis, and FastAPI — all in Docker. No ZooKeeper required. A lightweight, persistent dev environment for streaming data, windowed aggregation, and live metrics via REST API.
Language: Python - Size: 7.81 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0
devstress/FlinkDotnet
FlinkDotnet lets you build and run Apache Flink streaming jobs using a fluent C# API. Powered by Microsoft Aspire, it provides one-click distributed orchestration for Kafka, Flink, Temporal, Prometheus, Grafana, and FlinkDotnet itself; making end-to-end distributed stream processing seamless for .NET developers.
Language: C# - Size: 194 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 7 - Forks: 1
p2panda/p2panda
All the things a panda needs
Language: Rust - Size: 3.86 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 328 - Forks: 22
csp-community/csp-bot-commands
Miscellaneous commands for csp-bot
Language: Python - Size: 63.5 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 1
manhtdxxx/batch-and-stream-pipeline-via-lakehouse
This project demonstrates a modern Lakehouse architecture supporting both streaming and batch data pipelines, built on Apache Iceberg tables.
Language: Jupyter Notebook - Size: 1.37 MB - Last synced at: 16 days ago - Pushed at: 17 days ago - Stars: 1 - Forks: 0
infinyon/fluvio
🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.
Language: Rust - Size: 34.3 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 5,077 - Forks: 519
raystack/dagger
Dagger is an easy-to-use, configuration over code, cloud-native framework built on top of Apache Flink for stateful processing of real-time streaming data.
Language: Java - Size: 12 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 277 - Forks: 42
epaitoo/wikipedia-edit-war-detector
Real-time Wikipedia edit war detection using Kafka, Spring Boot, and reactive programming
Language: Java - Size: 123 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
O2-Czech-Republic/proxima-platform
The Proxima platform.
Language: Java - Size: 9.45 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 21 - Forks: 7
diegofps/devstream
Intercept and transform events from Linux systems 🎾
Language: Python - Size: 1.71 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 3 - Forks: 0
itsubaki/gostream
Stream processing library for Go
Language: Go - Size: 240 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 58 - Forks: 8
clj-commons/manifold
A compatibility layer for event-driven abstractions
Language: Clojure - Size: 1.5 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1,039 - Forks: 110
ThreeDotsLabs/watermill
Building event-driven applications the easy way in Go.
Language: Go - Size: 26.6 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 9,198 - Forks: 469
confluentinc/flink-table-api-python-examples
Python Examples for running Apache Flink® Table API on Confluent Cloud
Language: Python - Size: 70.3 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 17 - Forks: 4
FutureSDR/FutureSDR
An Async SDR Runtime for Heterogeneous Architectures
Language: Rust - Size: 28.8 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 403 - Forks: 67
Claviz/xlstream
Turns XLSX into a readable stream.
Language: TypeScript - Size: 641 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 175 - Forks: 19
infoslack/awesome-kafka
A list about Apache Kafka
Size: 96.7 KB - Last synced at: 15 days ago - Pushed at: 9 months ago - Stars: 583 - Forks: 165
samber/awesome-olap
A curated list of awesome Online Analytical Processing databases, frameworks, ressources and other awesomeness.
Size: 49.8 KB - Last synced at: 11 days ago - Pushed at: 11 months ago - Stars: 96 - Forks: 5
samehinttech/kafka-stream-analytics
Real-time stream processing and analytics using Apache Kafka and Kafka Streams for big data velocity analysis (Student Project)
Language: Java - Size: 14.6 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0
fainat/DataTransformationEngine
Data Transformation Layer Engine - High-performance data transformation engine for hierarchical datasets with advanced caching and validation. Built for robust data processing with minimal overhead.
Language: JavaScript - Size: 28.3 KB - Last synced at: 21 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0
Point72/csp
csp is a high performance reactive stream processing library, written in C++ and Python
Language: Python - Size: 5.04 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 367 - Forks: 72
streamnative/function-mesh
The serverless framework purpose-built for event streaming applications.
Language: Go - Size: 55.8 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 223 - Forks: 28
quixio/quix-streams
Python Streaming DataFrames for Kafka
Language: Python - Size: 9.54 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 1,474 - Forks: 91
doganulus/reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Language: C++ - Size: 2.66 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 41 - Forks: 8
cross-platform/dspatcher
Cross-Platform Graphical Tool for DSPatch
Language: C++ - Size: 5.06 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 63 - Forks: 18
