Repository Index

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Library for selective receive OTP processes

A ClojureScript wrapper for RxJS

Functional Programming for EcmaScript(Javascript)

• functional-programming
• fp
• js
• es

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

Common Lisp (Parenscript) library for React

The repository host gives no description.

• golang
• s-expressions
• expression
• evaluation

Easy, concurrent, asynchronous tasks in Swift.

• swift
• asynchronous
• dispatch
• concurrency

The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.

• interpreter
• language
• programming
• vba

go-fasttld is a high performance effective top level domains (eTLD) extraction module.

• compressed-trie
• idn
• idna
• ipv4

PostgreSQL client library (libpq) binding

• pecl
• libpq
• asynchronous
• postgresql

Run promise-returning & async functions a specific number of times concurrently

:shaved_ice: Shave some bytes by using Preact.

• preact
• codemod
• jscodeshift
• transpiler

An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V

• vlang
• vlang-module
• wrapper
• filewatcher

Wait for a specified number of promises to be fulfilled

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

Clojure library for Blueprints (part of the Tinkerpop graph stack).

Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.

• delphi
• pascal
• allegro5
• lazarus

Coq library on rewriting theory and termination

The formal proof of the Odd Order Theorem

• coq
• ssreflect
• mathcomp
• feit-thompson-theorem

Run functions in parallel :comet:

• go
• concurrency
• goroutines

annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).

• ruby
• approximate-nearest-neighbor-search
• nearest-neighbor-search
• gem

A Common Lisp library that enables fast and convenient interoperation with foreign objects.

Go bindings for ForestDB