ember-concurrency is an Ember Addon that enables you to write concise, worry-free, cancelable, restartable, asynchronous tasks.
Repository Index
47,133 repositories indexed
361–384 of 1,152 · Most stars
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
:spider_web: A Python interface to CGAL's meshing tools
- mesh
- mesh-generation
- mathematics
- engineering
Parser / Scanner Generator
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
Echarts 5 for R
Platform Abstraction C++ Libraries
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!
parser for Google ProtocolBuffers definition
URSA - RSA public/private key OpenSSL bindings for Node.js
WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package
C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
Fibers and actors for web development
An ERB-style templating language for Go.
- go
- template-language
- erb
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
The ultimate Python binding for Vulkan API
- vulkan
- python