Repository Index

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

Crystal bindings to the Zstandard (zstd) compression library

• crystal
• crystal-bindings
• zstd
• zstandard

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq

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]

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

A Coq library providing tactics to deal with hypothesis

• coq
• formal-proofs
• proof-assistant
• tactics

Backport for type hinting generics in standard collections and union types as X | Y

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

A string argument parser that understands quotes and backslashes

Elixir coordinate conversion library using OSGeo's PROJ.4

• geospatial
• distance-calculation
• coordinate-systems
• osgeo-proj

Configurable dynamic and static binding to Facebook's zstandard compression library.

Go library for Russian GOST cryptography (digital signatures, Streebog hash, Kuznechik cipher, MGM AEAD) backed by OpenSSL gost-engine

• aead
• block-cipher
• cryptography
• digital-signatures