Repository Index

A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.

• lisp
• common-lisp
• generics
• polymorphic-functions

CFFI based alternative to py4cl2

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Common Lisp Yacc

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Common Lisp/CFFI bindings for the Vulkan API.

• vulkan
• cffi

Vulkan bindings for Common Lisp.

• common-lisp
• vulkan
• graphics-programming

Call python from Common Lisp

• common-lisp
• python
• library

A binding to WebKitGTK+ for Common Lisp

dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

• scala
• dfa
• regular-expression
• regular-expression-engine

Wait for any promise to be fulfilled

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

• f-sharp
• parser
• combinator
• library

Permutations and permutation groups in Common Lisp.

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

The repository host gives no description.

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

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.

Reactive computation tree library for non-blocking concurrent Common Lisp

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

Iterate over promises serially

A better `Promise.race()`

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

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

DexieNET is a .NET wrapper for dexie.js minimalist wrapper for IndexedDB