Repository Index

A binding to WebKitGTK+ for Common Lisp

A powerful C# coroutine library for Godot.

• coroutines
• csharp
• godot
• hierarchical

A blocking queue written in Elixir.

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

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

The Effect monad, for handling native side effects

High performance utility functions using Generics

• filter
• functional
• generics
• go

Auto-generated D bindings for Vulkan

A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support

High-speed approximate nearest neighbors for Ruby

Utilities for using Tinkerpop3 via the node-java API in Typescript

Reactive computation tree library for non-blocking concurrent Common Lisp

• data-flow
• asynchronous
• common-lisp
• concurrency

Crystal wrapper for the libsodium crypto API

• crystal
• cryptography
• nacl
• libsodium

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching

Transpiling fortran code to golang code

• transpile
• f4go
• fortran
• golang

A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.

• swift
• mongodb-connector
• server-side-swift
• mongodb

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify