lvars
Concurrent program framework
Provides a data structure and framework for monotonically-growing concurrent programs
The LVish Haskell library
80 stars
32 watching
14 forks
Language: Haskell
last commit: almost 4 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 lefcha/concurrentlua | A system for implementing concurrent programming in the Lua language using message-passing primitives and asynchronous model. | 159 |
 simonmar/par-tutorial | A tutorial and code samples for parallel and concurrent programming in Haskell. | 219 |
 teaentitylab/fprust | A set of Rust libraries and frameworks implementing functional programming concepts with a focus on concurrency and asynchronous programming | 119 |
 puniverse/pulsar | Provides a concurrency framework with fibers, channels and actors for Clojure. | 911 |
 iyyel/fio | A type-safe and highly concurrent library for F# that provides a construct known as the IO monad for handling side effects in functional programming. | 38 |
 barrucadu/dejafu | A tool for testing concurrent Haskell programs to ensure they behave deterministically and correctly | 196 |
 amanieu/asyncplusplus | A lightweight concurrency framework for C++11 | 1,356 |
 millionintegrals/vel | A collection of modular deep learning components that can be easily configured and reused in various applications. | 276 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 146 |
 sharow/libconcurrent | A lightweight, low-overhead concurrency library | 360 |
| simonmar/parconc-examples | Sample code to accompany a book on parallel and concurrent programming in Haskell | 355 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 kokkos/kokkos | A C++ framework providing abstractions for parallel execution and data management in high-performance computing | 2,032 |
 aarvid/actors | An Actor-based concurrency framework for Common Lisp applications | 12 |
 agronholm/anyio | A high-level asynchronous networking and concurrency framework that provides structured concurrency on top of asyncio or trio. | 1,848 |