Repository Index

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

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

GNAT Components Collection – Bindings to C libraries

Apache Kafka Ada client library, based off of librdkafka

Extension module for vertx-groovy adding methods and syntaxic sugar

• vertx
• groovy
• async
• dsl

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

NBAda - An Ada library of lock-free data structures and algorithms.

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

Go WorkerPool aims to control heavy Go Routines

• threadpool
• workerpool
• golang
• goroutine

This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.

This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.

• shadertoy
• gamemaker
• text-processing

libsodium for Ada - A secure cryptographic library

Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL

Ada bindings for the Microsft WinRT Api

• winrt
• ada-winrt
• gnat
• ada

Ada binding for OpenGL/WebGL

The repository host gives no description.

Scan and parse LL(1) grammars simply and efficiently.

• go
• golang
• pratt-parser
• lexer-parser

Adds pledge(2) to crystal.

• crystal
• crystal-language
• shards
• openbsd

libgoffi - libffi adapter library for Go

Ada interface to the readline library

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

Scala Native bindings for the GNU Ncurses C library

• scala
• scala-native
• ncurses-library
• bindings

Elixir binding to the granddaddy of HTML tools

• elixir
• html-par
• html-ren
• html-repair

ScalaNative bindings for Qt5

• scala-native
• qt5