Repository Index

Floc: Orchestrate goroutines with ease.

• go
• parallel-programming
• goroutines
• goroutine-safe

Connection behaviour for connection processes

:alarm_clock: A lightweight implementation of Promises in Swift

• promise
• swift

ClojureScript library for Ant Design React UI components

• clojurescript
• reagent
• rum
• reagent-components

A Library for Representing Recursive and Impure Programs in Coq

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

High performance System.Threading.(Value)Task computation expressions for F#

An F# type provider for in-process R interop

• r-language
• r-programming
• type-providers

A simple, easy to use library for React development in ClojureScript.

• react-components
• hiccup
• clj
• clojurescript

A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.

• regular-expression
• regexp
• regex
• code-generation

🛠 A full-featured dependency injection container for go programming language.

• go
• dependency-injection
• di
• ioc

Debounce promise-returning & async functions

A function definition package for Rocq

• coq
• programming-language
• dependent-types
• rocq

F# computation expression builder for System.Threading.Tasks

• fsharp
• task
• computation-expressions
• async

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript

Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal

• pascal
• vulkan
• vulkan-api
• vulkan-library

A parser combinator library written in the Swift programming language.

• parser
• parser-combinators
• swift
• functional

The Frenetic Programming Language and Runtime System

Template your base files and generate new projects from Git(Hub).

• generator
• scaffolding
• templates
• schema

C Header Translator for Delphi

• header-translators
• clang-parsing-process
• clang
• delphi

A functional JavaScript library that facilitates currying and point-free programming

• ai-friendly
• composition
• curry
• currying

Sound Processing Language for Web Audio