A very tiny and fast compose function.
Repository Index
47,133 repositories indexed
73–91 of 91 · Most stars
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
PostgreSQL client library (libpq) binding
- pecl
- libpq
- asynchronous
- postgresql
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Simple ActionN composition to use with RxJava [STABLE]
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
utils for Go context
- golang
- go
- context
- async
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
general purpose utils for interacting with vert.x
a parser for Forsyth-Edwards Notation (for encoding chess positions)
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
POSIX Ada Bindings.
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
- advisory-lock
- concurrency
- distributed-lock
- etcd
Ada Windows POSIX binding
Ada Posix Binding to Video 4 Linux, used for RPI