Repository Index

Parser combinators for Idris

Tiny library (<200B gzip) for deferring something by a "tick"

• defer
• javascript
• async
• wait

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

A library for formalizing Haskell types and functions in Coq

PHP Iteration Tools Library

• php-library
• php
• iterator
• iterable

Tokenizer (lexer) for anything

• golang
• tokenizer
• parse
• tokenizing

Canon SDK for Java

TypeScript Iteration Tools Library

• fluentinterface
• generator
• infinite-iteration
• iterable

Lua binding to libzip.

A crystal port of the Ruby Language Toolkit

RabbitMQ driver for Delphi

Simple and performant utilies using Go generics inspired by JavaScript and Python

• golang
• go
• utilities
• generics

A Python type checker

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

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

• python
• asynchronous
• sockets
• tcp

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

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

• compressed-trie
• idn
• idna
• ipv4

Adobe AIR native extension for the Bullet physics simulation library

Make functions return a channel for parallel processing via go routines.

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

• cgo
• golang
• deep-learning
• gradient-boosting

Zig bindings for libVLC media framework.

• bindings
• libvlc
• zig
• zig-library

Variadic aritity tree with a zipper for Elixir!

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration