Repository Index

OpenFaaS template for the crystal programming language

Unofficial OpenCV binding for D programming language

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Crystal shard wrapping libgphoto2

• libgphoto2
• crystal
• photography
• gphoto2

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).

• tcp
• tls
• ssl
• socket

Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• freetype
• freetype-bindings

COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.

• excel
• excel-vba
• vbscript
• vba

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.

• bindbc
• lua
• lua-bindings
• dlang

Dynamic bindings to the CUDA library for the D Programming Language.

a NIF for libntru. NTRU is a post quantum cryptography algorithm.

• ntru
• cryptography
• encryption
• lattice-based-crypto

The repository host gives no description.

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

Lua wrapper arount the Tweet NaCl cryptographic library

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Practice recognizing chords in this Rust/Yew/Webassembly app

• yew
• music-theory
• music-notation
• wasm

Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection

• esp32
• face-detection
• imagenet-classifier
• micropython

Apache Kafka Ada client library, based off of librdkafka

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

• esopo
• esolang
• esoteric-language
• esoteric-programming-language

LALR(1) Parser Generator for the D Programming Language

Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.

• actor-model
• apache-flink
• distributed-systems
• event-driven

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl