Repository Index

functional/point-free utils for JavaScript

• functional-programming

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

• glfw
• glfw3
• glfw3-bindings
• java

Transpile Golang into Arduino code to use fully automated testing at your IoT projects.

• go
• golang
• arduino
• transpiler

Electra is an esolang where you code like an electrician.

• cpp
• esolang
• esolangs
• language

A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)

• filter
• filtering
• filters
• fp

A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.

• event-driven
• asynchronous
• io
• concurrency

Asynchronous programming utilities for F#

Convert Haskell source code to Coq source code.

• coq
• haskell

Settle promises concurrently and get their fulfillment value or rejection reason with optional limited concurrency

The first and only true Functional Reactive Programming framework for Scala.

• scala
• reactive
• frp
• frp-library

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

Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file

• csharp
• dotnet
• csharp-script
• dotnet-exec

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

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 UnderscoreJS port for Coldfusion. Functional programming library.

• coldfusion

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

Hoare Type Theory

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

Provide await and async methods to Crystal Lang

• crystal-language
• concurrency

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

Unit tests generator for Go programming language

• go
• golang
• unit-testing
• generator

Create a deferred promise