Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Repository Index
71,372 visible repositories in the index
121–144 of 246 · Most stars
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
A pure go General-purpose Task-parallel Programming Framework
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
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
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
A Promise library for Swift, based partially on Javascript's A+ spec
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui
http://hopac.github.io/Hopac/Hopac.html
- concurrent-programming
- csp
- actors
- cml
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
A modern supercompiler for call-by-value functional languages
A small JavaScript library for defining and using union types.
A "run" function for asyncio-based apps that does all the boilerplate.
- async
- async-await
- asynchronous
- asynchronous-tasks
Turn Buffer instances into "pointers"
Library for binding to C libraries using pure OCaml
Run promise-returning & async functions concurrently with optional limited concurrency
Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
An easy-to-use and fast library for task-based parallelism, utilizing coroutines.
- coroutines
- cpp
- parallel-computing
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteiro
The project provides high-performance concurrency, enabling highly parallel computation.