SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
74,362 visible repositories in the index
337–360 of 615 · Most stars
sql-to-mongo-db-query-converter
Grand Central Dispatch simplified with swift.
NASA PVS Library of Formal Developments
Synchronization and asynchronous computation package for Go
- go
- async
- future
- promise
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
Evented I/O streams for Swift
A pipe-like function to verticalize your JavaScript code
A GTK / Fortran binding, and its documentation (in the Wiki tab).
OCaml bindings for TensorFlow
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
Go simple async message bus
- message-bus
- event-sourcing
- ddd
- async
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
[A]synchronous Functional Programming
- function-composition
- asynchronous
- transducers
- parallel
:trident: CommonCrypto in Swift, and more
- commoncrypto
- swift
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra
A Library for Representing Recursive and Impure Programs in Coq
:alarm_clock: A lightweight implementation of Promises in Swift
- promise
- swift
ClojureScript library for Ant Design React UI components
- clojurescript
- reagent
- rum
- reagent-components
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
An experiment in adding functional pattern matching to JavaScript