Repository Index

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

Powerful macro (cross) assembler package for several CPUs

• assembler
• gameboy
• rgbds
• retro

The Rockstar programming language specification

Ruby bindings to the OpenNLP Java toolkit.

TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi

• deep-learning
• delphi
• machine-learning
• pascal

Javascript SOQL parser

• soql
• salesforce

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

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

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

.NET wrapper around the LibSass library with the ability to support a virtual file system.

• libsass
• scss
• dotnet
• sass

Provide await and async methods to Crystal Lang

• crystal-language
• concurrency

A simple Elixir Markdown to HTML conversion library

jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.

• java
• jni
• gradle

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.

Create a deferred promise

:curry: Currying made simple.

Ada WASM Runtime and Bindings for Web API

• wasm
• gnat-llvm
• ada-runtime
• ada-wasm-runtime

Java API over Accelio