Repository Index

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

Go Lang Web Assembly bindings for DOM, HTML etc

• wasm
• binding
• golang

GoJava - Java bindings for Go packages

Crystal-lang bindings for libui

• crystal
• gui

Easy OCaml bindings for Javascript libraries

A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.

• header-translation
• pascal-binding
• raylib
• lazarus

FMOD Studio middleware integration and scripting API bindings for the Godot game engine.

• game-development
• game-engine-development
• game-audio
• dynamic-audio

Go cross-platform OpenGL bindings.

• opengl
• opengl-es
• webgl

Python bindings for mapnik

Haskell bindings for Vulkan

One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.

• swift
• ios
• swiftui
• macos

Rust language bindings for Microsoft Playwright

• browser-automation
• playwright
• playwright-tests
• rust

Set up a modern Yew web app by running one command.

• yew
• create-yew-app
• webassembly
• rust

Lua binding library for modern C++

• lua
• bindings
• c-plus-plus
• c-plus-plus-library

Modern CSS to all browsers

• css
• processor
• preprocessor
• compatibility

Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.

• taproot
• secp256k1
• swift
• schnorr

RxJava bindings for Groovy

SQLite3 bindings for Crystal

• crystal
• sqlite3
• database
• driver

Common Lisp .Net Core Interop

• common-lisp
• dotnet-core
• dotnet
• dotnetcore

Lua zeromq2 binding

Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)

• common-lisp
• cffi
• gui
• iup

C# Bindings for the Vulkan API & SPIR-V

• vulkan
• c-sharp
• spir-v
• dotnet-standard

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python".

• regex
• regular-expression
• ruby