Repository Index

Functional programming library for https://github.com/crystal-lang/crystal

TypeScript Iteration Tools Library

• fluentinterface
• generator
• infinite-iteration
• iterable

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications

• elm
• json-schema
• json
• elixir

Error/Warning reporting frontend for the PureScript compiler

Go Stream, like Java 8 Stream.

• go-stream
• filter
• map
• flatmap

A foundational framework for modular cryptographic proofs in Coq

• cryptography
• coq-library
• coq-formalization
• state-separating-proofs

The Rockstar programming language specification

An implementation of IO, Stream, Fiber for golang inspired by cats and fs2

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

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.

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