Repository Index

coinduction library for Coq

D bindings for the sokol headers (https://github.com/floooh/sokol)

• bindings
• d
• dlang
• sokol

V wrapper around the C Java Native Interface

• java
• jni
• kotlin
• android

Crystal bindings for libpcap

• packets
• pcap
• crystal

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

• parallel-processing
• elixir-library

Elixir macro for extracting or transforming values inside a pipe flow.

• elixir
• pipe
• error-handling

Extremely simple Process pooling and task submission in Elixir

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

Build parsers easily

• parser
• parser-library
• parsing
• pratt-parser

scala-native bindings for Gtk+, GLib, ...

• scala-native
• gtk
• glib

A natural language parser for validating complex date ranges

Hunchentoot Gserver based taskmanager

Embeddable Forth interpreter written in Ada

• ada
• forth
• interpreter

Generates Blazor -> Javascript strongly typed interop methods.

The repository host gives no description.

A lock-free concurrent data structures library for Common Lisp.

• common-lisp
• concurrency
• lisp
• primitives

Erlang PortAudio bindings

A couple of lambda shorthand macros

Bindings for libncursesw and crt class

Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64

• dspack
• microsoft-directshow
• delphinuspackage

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Little utility D3 functions

Helper tool to debug parser and formatter