Repository Index

An opinionated set of bindings to the React library, optimizing for the most basic use cases

OCaml bindings for TensorFlow

[A]synchronous Functional Programming

• function-composition
• asynchronous
• transducers
• parallel

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.

• immutable
• typescript-definitions
• es2015-modules
• data-structures

Ruby language bindings for LIBSVM

• libsvm
• ruby-bindings
• ruby
• ruby-language-bindings

GTK4/Libadwaita/WebKit2 bindings for Common Lisp.

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.

Bindings to connect lua with Steam API

• game-development
• love2d
• lua
• steam-api

A Parser Combinators Library for Clojure

Parser combinators for Idris

ReScript bindings for Formidable's Universal React Query Library, urql.

• reasonml
• graphql
• reasonreact
• bucklescript

A concise and readable language for Firestore security rules, similar to Firebase Bolt.

• firebase-firestore
• haskell
• typescript
• parser-combinators

A parser combinator library written in the Swift programming language.

• parser
• parser-combinators
• swift
• functional

LibYAML binding for Lua.

Extension of the Elixir standard library focused on data stuctures, data manipulation and performance

• elixir
• persistent-vectors
• ordered-map
• util

Javascript wrapper for GDAL in the browser

• gdal
• wrapper
• bindings
• js

C language library for creating bindings for the Qt QML language

• qml-bindings
• qt-qml-language
• qml
• qt

R bindings to the libgit2 library

• libgit2
• libgit2-library
• git
• git-client

cpgf library

• cpgf
• lua-bindings
• c-plus-plus
• python-bindings

.net bindings for the rocksdb by facebook

The repository host gives no description.

D language bindings for the Godot Engine's GDNative API

Elixir bindings for Vega-Lite

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