Repository Index

PHP bindings for Tarantool Queue.

• tarantool
• queue
• php
• nosql

Common Lisp bindings and interface to the Allegro 5 game programming library

• common-lisp
• game-development
• allegro5
• bindings

Messaging system for communication between classes / layers in delphi

• delphi
• firemonkey
• vcl
• fmx

OCaml bindings to libcurl

• libcurl
• ocaml-bindings
• ocaml

Highly concurrent drop-in replacement for bufio.Writer

• golang
• concurrent
• io
• multithreading

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

• coq
• theorems

Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption

• cryptography
• nettle
• encryption
• hash-algorithms

Pascal binding for SFML

• object-pascal
• wrapper
• library
• game-engine

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

OCaml bindings to MariaDB, supporting the nonblocking API

Keras4Delphi is a high-level neural networks API, written in Pascal with Python Binding

• keras
• keras-neural-networks
• pascal
• delphi

Common Lisp CFFI wrapper around the DuckDB C API

• c-bindings
• common-lisp
• duckdb
• lisp

A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.

• lisp
• common-lisp
• generics
• polymorphic-functions

CFFI based alternative to py4cl2

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.

• compiler
• go
• golang
• graphics

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Common Lisp/CFFI bindings for the Vulkan API.

• vulkan
• cffi

Vulkan bindings for Common Lisp.

• common-lisp
• vulkan
• graphics-programming

Call python from Common Lisp

• common-lisp
• python
• library

A binding to WebKitGTK+ for Common Lisp

Creates a system where users are forced to login in dedicated independent docker containers.

• docker
• docker-image
• virtual-machine
• multiuser

Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL

Auto-generated D bindings for Vulkan