Repository Index

Prime numbers for Coq

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

Make native methods available as partially applied functions.

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

• python
• asynchronous
• sockets
• tcp

PostgreSQL client library (libpq) binding

• pecl
• libpq
• asynchronous
• postgresql

Plugin for mypy to support zope.interface

• mypy
• zope
• plugin
• static-typing

Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS

• scala
• scala-native
• math
• linear-algebra

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

• vlang
• vlang-module
• wrapper
• filewatcher

LLVM port to the GBZ80 CPU

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

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

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.

• xor-filter
• bloom-filter
• erlang-nif
• erlang

TryLock support on read-write lock for Golang

• trylock
• locker
• mutex

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

• functional-programming
• javascript
• js
• monad

An Elixir macro for easily piping arguments at any position.

• elixir
• macros
• pipe

Common tools for projects

• cross-platform
• pascal-language
• library
• json

Simple ActionN composition to use with RxJava [STABLE]

Port of Sciter headers for the D language

• sciter
• tiscript
• htmlayout
• gui

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

Process pools for OCaml

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Python module to reduce a cmake file to an AST

A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.

coinduction library for Coq