Repository Index

Minimal cgo bindings for libenca

Crystal bindings for Monocypher

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

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

a parser for Forsyth-Edwards Notation (for encoding chess positions)

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

• bindbc
• lua
• lua-bindings
• dlang

Experiment to compile something Elm-ish to Wasm

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

Ada binding for the Pebble Time smartwatch

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

• golang
• go
• goroutine

GLFW bindings for Haxe

Enhanced query string parser for Erlang

WIP Vulkan API bindings for Deno

Haskell bindings to Colin Percival's scrypt implementation.

A library that enables the usage of MaxmindDB geoIP databases by using the Rust library in a WASM module

• wasm
• deno
• maxmind
• geoip

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

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

OCaml library for forking child processes to perform work on multiple cores

A collection of tools for Golang

Crystal bindings to ImGui-SFML

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

• coq
• mustache-templates
• continuous-integration

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

The repository host gives no description.

Pascal to Ada translator

• ada
• pascal
• translator
• ada-language

Practice recognizing chords in this Rust/Yew/Webassembly app

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