Repository Index

TypeScript Iteration Tools Library

• fluentinterface
• generator
• infinite-iteration
• iterable

Go Stream, like Java 8 Stream.

• go-stream
• filter
• map
• flatmap

The Rockstar programming language specification

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

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

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

Hoare Type Theory

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

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

FANN (Fast Artifical Neural Network) binding in Crystal

• fann
• neural-network
• machine-learning
• crystal

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

• blazor
• aad
• azuread
• template

Create a deferred promise

simple to use threading library

Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.

• csharp
• dotnet
• fsharp
• mono

High performance gradient boosting for Ruby

• machine-learning
• lightgbm
• rubyml

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

• logging
• process
• streams
• serializer

Generate a ready-to-use Common Lisp project

• common-lisp
• cookiecutter
• lisp

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

The repository host gives no description.

• rubyml
• machine-learning
• ruby
• ml

`llthreads` library rewritten without `LuaNativeObjects` code generator

• lua
• threading
• pthreads
• lua-binding

A native Selenium WebDriver binding for ColdFusion

• coldfusion
• lucee
• railo
• selenium

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• aadl
• ada

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity