Repository Index

A Delphi wrapper for WinSparkle

Rate limiter and overload protection for erlang application

Capstone Disassembler Library Binding for Delphi

• disassembler
• assembler
• pascal
• delphi

kafka pascal, freepascal bindings using librdkafka and zeromq

Minimal cgo bindings for libenca

Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)

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

TML Object Pascal Components

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

An Object Pascal Client for NATS

• delphi
• lazarus
• pascal
• linux

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

Pascal to Ada translator

• ada
• pascal
• translator
• ada-language

Implementation of a brainfuck interpreter written for the Game Boy.

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

Parse, manipulate and render CommonMark in Scala Native

• commonmark
• scala
• scala-native

Integration of R, Java, and Scala

suricata eve.json parser in Go

The repository host gives no description.

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

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

Cgo binding for libtextcat C library

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

• coq
• mathcomp
• modal-logics
• ctl

Import and export CommonJS modules in js_of_ocaml

Elixir wrapper of Basho's Bitcask Key/Value store.