Repository Index

raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs

An UnderscoreJS port for Coldfusion. Functional programming library.

• coldfusion

High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic

• async-await
• cache
• caching
• cocoapods

A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.

• electron
• nodejs
• steam
• steamworks

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

• supercollider
• lisp
• synth
• sequencer

Java wrapper for SDL and LibGDX controller API

Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.

• kotlin
• graphql
• client
• code-generation

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

A simple Elixir Markdown to HTML conversion library

Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)

• blazor
• aad
• azuread
• template

Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.

Java API over Accelio

Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax

Automatic C-bindings generator for the Crystal language

• crystal
• code-generation
• binding-generator

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

• logging
• process
• streams
• serializer

Automatic generation of N-API wrapper from a C++ library

• napi
• n-api
• nodejs
• node-addon-api

Coroutines for GameMaker

• gamemaker
• gamemaker-studio-2
• gms2
• coroutines

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy

This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)

V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.

• v
• webview
• gtk
• webkit

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

• monads
• result-type
• typing
• python

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3