Repository Index

ABNF in, parser out

• abnf
• parsing
• parser-generator
• elixir

Julia interface to WebGL using Three-js custom elements and Patchwork.jl

Common Lisp/CFFI bindings for the Vulkan API.

• vulkan
• cffi

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

Call python from Common Lisp

• common-lisp
• python
• library

A binding to WebKitGTK+ for Common Lisp

Wait for any promise to be fulfilled

Function composition

A powerful C# coroutine library for Godot.

• coroutines
• csharp
• godot
• hierarchical

The repository host gives no description.

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

• f-sharp
• parser
• combinator
• library

A blocking queue written in Elixir.

Creates a system where users are forced to login in dedicated independent docker containers.

• docker
• docker-image
• virtual-machine
• multiuser

⚡ V ImGui module -- dear imgui / cimgui wrapper

Natural language generation language

• natural-language-generation
• nlg

Permutations and permutation groups in Common Lisp.

• permutations
• permutation-groups
• permutation-algorithms
• lisp

Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL

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

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.

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

• common-lisp
• domain-specific-languages
• dsl
• json

🐝 A Highly Performant and easy to use goroutine pool for Go

• goroutine
• goroutine-pool
• goroutine-scheduling
• task-scheduler

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Fast YAML native library for Erlang / Elixir

• libyaml
• yaml
• libyaml-library
• erlang