Repository Index

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

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

• supercollider
• lisp
• synth
• sequencer

gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.

• concurrency
• workerpool
• goroutine-pool
• resource-pool

Provide await and async methods to Crystal Lang

• crystal-language
• concurrency

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

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

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

Generate a ready-to-use Common Lisp project

• common-lisp
• cookiecutter
• lisp

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)

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

• monads
• result-type
• typing
• python

Filter promises concurrently

Idris LLVM codegen factored out

`llthreads` library rewritten without `LuaNativeObjects` code generator

• lua
• threading
• pthreads
• lua-binding

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

High level go to Lua binder. Write less, do more.

• go
• golang
• lua

Fast Ruby FFI string edit distance algorithms

ImGui Binding for FreePascal / Delphi with the latest version & docking

• freepascal
• imgui
• imgui-binding
• opengl3

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