Repository Index

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.

• scheme
• c
• lisp
• guile

Common Lisp (Parenscript) utilities for building web apps in ReactJs

Crystal bindings to Dear ImGui

Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)

Fast SIP and SDP Parser

• sip-headers
• parse
• sdp
• sip-messages

WebAssembly wrapper to simplify fast math coding

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

• coq
• refinement
• mathcomp
• coq-platform

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

• community-driven
• manifesto
• coq

brain-dead simple parallel processing for ruby

Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.

• java-bytecode
• invokedynamic
• java
• jvm-bytecode

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

Improved Go Syntax (transpiler)

• go
• golang

Reduce a list of values using promises into a promise for a value

Limits the number of goroutines that are allowed to run concurrently

• concurrency
• golang
• goroutine

TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.

• delphi
• component
• sql
• dataset

OCaml bindings for Kafka

• ocaml-bindings
• kafka
• librdkafka

A setf like macro for functional programming

Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv

• curl
• libcurl
• libuv
• multiprocessing

A crystal port of the Ruby Language Toolkit

A multiplexor for aligned time.Time tickers in Go

Structured Concurrency in Go

• concurrency
• nursery
• goroutines
• golang

Common Lisp Win32 GUI library

• win32
• lisp
• gui
• common-lisp

Library providing fast hash based immutable map and set

• hashmap
• fsharp
• collections
• hashset