Library for selective receive OTP processes
Repository Index
47,133 repositories indexed
121–144 of 148 · Most stars
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
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
Go bindings for ForestDB
Common tools for projects
- cross-platform
- pascal-language
- library
- json
This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
promise semaphore
The repository host gives no description.
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown
- crystal
- commonmark
- gfm
- markdown
Ada API to the Windows library
Rate limiter and overload protection for erlang application
OCaml library for forking child processes to perform work on multiple cores
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
GNAT Components Collection – Bindings to C libraries
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Elixir wrapper of Basho's Bitcask Key/Value store.
The repository host gives no description.
Use plotly in your browser to explore data from a Common Lisp REPL
This is a library for generating a Common-Lisp foreign function interface (FFI) from GObject Introspection XML files (GIR files).
- gobject-introspection
- code-generation
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
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2