Repository Index

Vulkan bindings for Common Lisp.

• common-lisp
• vulkan
• graphics-programming

Wait for any promise to be fulfilled

Natural language generation language

• natural-language-generation
• nlg

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

Generate Yew components from React components via Typescript type definitions

• yew
• proc-macro
• react
• typescript

Fast YAML native library for Erlang / Elixir

• libyaml
• yaml
• libyaml-library
• erlang

High-speed approximate nearest neighbors for Ruby

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Relation algebra library for Coq

Iterate over promises serially

A better `Promise.race()`

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

Map over promises serially

TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)

• delphi
• easy-to-use
• freepascal
• game

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

• c
• cicili
• compiler
• lisp

D version of the C headers for openssl

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.

• concurrent
• golang
• golang-library
• data-science

PHP port of Less.js

• less
• css
• preprocessor
• php

Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class

Advanced Developer Async Programming Toolkit

• game-engine
• event
• framework
• async

Next Generation of Apex Development

• salesforce-apex
• code-generation
• annotation
• transpiler

The universal ISSR server compatible with <your-favorite-programming-language>

A simple embeddable scripting language which supports concurrent event processing.

• interpreter
• language
• embeddable-scripting-language
• object-oriented-programming