Repository Index

Library for Classical Coq

Qt Qml bindings for the D programming language

webui bindings for Common Lisp

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

Common Lisp (Parenscript) library for React

The repository host gives no description.

• golang
• s-expressions
• expression
• evaluation

Ada-bindings for 0mq

Easy, concurrent, asynchronous tasks in Swift.

• swift
• asynchronous
• dispatch
• concurrency

The 100% Pure x86-64 Assembly Systems Language

• assembler
• assembly
• assembly-lang
• assembly-language

The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.

• interpreter
• language
• programming
• vba

Swift OpenSSL for OS X and Linux

go-fasttld is a high performance effective top level domains (eTLD) extraction module.

• compressed-trie
• idn
• idna
• ipv4

Perl, but fluffy like a cat!

PostgreSQL client library (libpq) binding

• pecl
• libpq
• asynchronous
• postgresql

Run promise-returning & async functions a specific number of times concurrently

Plugin for mypy to support zope.interface

• mypy
• zope
• plugin
• static-typing

Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons

Crystal binding for LevelDB

• crystal
• leveldb

Delphi binding for Lua 5.1 language

Adobe AIR native extension for the Bullet physics simulation library

Simple implementation of the hungry-consumer model in Elixir

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq

A command line tool and library for generating FFI wrappers for Common Lisp

• ffi
• common-lisp
• cffi
• clang

:shaved_ice: Shave some bytes by using Preact.

• preact
• codemod
• jscodeshift
• transpiler