The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Repository Index
68,760 visible repositories in the index
73–96 of 103 · Most stars
The Effect monad, for handling native side effects
A sync.WaitGroup with error handling and concurrency control
- golang
- goroutines
- waitgroup
- pool
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Hand-written bindings to Raylib for Common Lisp.
- common-lisp
- raylib
the alchemist's happy path with elixir
- elixir
- error-handling
- with
- monad
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V
- vlang
- vlang-module
- wrapper
- filewatcher
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
Make functions return a channel for parallel processing via go routines.
CSP-like channels for common lisp
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
- parallel-processing
- elixir-library
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
A couple of lambda shorthand macros
Hanoi tower in Coq
Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.
🚧 Flexible mechanism to make execution flow interruptible.
- hacktoberfest
Enhanced query string parser for Erlang
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Common Lisp bindings for Enchant spell-checker library
Minimalistic, pluggable Golang evloop/timer handler with dependency-injection
Go WorkerPool aims to control heavy Go Routines
- threadpool
- workerpool
- golang
- goroutine
Hands is a process controller used to control the execution and return strategies of multiple goroutines.