Repository Index

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

Async is an asynchronous task package for Go

• async
• async-await
• golang
• await

Like `Promise.all` but for object properties.

• deno
• promise

Customizable code walker for Common Lisp. Uses CLOS and ContextL.

• common-lisp
• walker

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

JS style promises added to GML, as well as an abundant number of async functions which can now return a promise.

Boehm GC interface library for gcc-Ada (GNAT)

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Do notation pipes for Promise-based or pure functions which easy to mock

• do-notation
• functional-programming
• mock
• pipe