Repository Index

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

Function composition

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

Parallelize _anything_ //

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

The repository host gives no description.

Generate Yew components from React components via Typescript type definitions

• yew
• proc-macro
• react
• typescript

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 framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Reactive computation tree library for non-blocking concurrent Common Lisp

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

comvert bool expression to elasticsearch DSL in rust

• elastic
• elasticsearch
• dsl
• sql

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

• liquid
• ocaml
• parser-combinators
• shopify

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

V bindings for raylib https://www.raylib.com

Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.

• parser-combinators
• common-lisp

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

A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)

• pycom
• micropython
• lopy
• wipy

Advanced Function composition to use with RxJava [STABLE]

Cocoa binding for Common Lisp on macOS

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

• coq
• mathcomp
• regular-languages
• ssreflect