Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
Repository Index
47,133 repositories indexed
73–96 of 295 · Most stars
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
A lightweight ClojureScript abstraction over ReactJS
C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
A wrapper for the Eclipse Mosquitto™ MQTT client library for PHP.
- php
- mqtt-client
- mosquitto
- libmosquitto
Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
- actors
- cqrs
- event-sourcing
- fsm
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
- c
- durable-execution
- embeddable
- hibernation
iOS utility class to manage global dispatch queue.
Yet Another LINQ to Objects for PHP [Simplified BSD]
- linq
- php
- functional-programming
- query
Java utilities: DeepEquals, Converter, LRUCache, CompactMap/Set, CaseInsensitiveMap, UniqueIdGenerator, FastReader/Writer, and more. Zero dependencies, JDK 8+
Go concurrent-safe, goroutine-safe, thread-safe queue
- golang
- go
- concurrency
- concurrent
Asyncio (pep 3156) integration with ZeroMQ
- asyncio
- zeromq
- zmq
Universal cheminformatics toolkit, utilities and database search tools
- indigo
- bingo
- cheminformatics
- chemistry
JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.
Language for high-assurance and high-speed cryptography
A Python type checker
A graphql query language and schema definition language parser and formatter for rust
- rust
- graphql-query-language
- graphql
- schema
A fast HTTP request/response parser for Common Lisp.
- common-lisp
- http
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
- cql
- clinical-quality-language
- cds
- java