Repository Index

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

Tiny DSL for idiomatic date parsing and formatting in Ruby

• ruby
• dsl
• date
• syntax-sugar

Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.

• golang
• go
• pooling
• pool

Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption

• cryptography
• nettle
• encryption
• hash-algorithms

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Hunchentoot Gserver based taskmanager

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

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

Elixir coordinate conversion library using OSGeo's PROJ.4

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

Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language

• elixir
• elixir-lang
• distributed-systems
• hashing-algorithm

LuaJIT bindings for Crystal

LMDB bindings for Common Lisp

FitEx is a Macro-Module which provides a bit of sugar for function definitions.

• macros
• elixir-lang
• elixir
• functional-programming