Repository Index

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)

• filter
• filtering
• filters
• fp

Go Stream, like Java 8 Stream.

• go-stream
• filter
• map
• flatmap

Filter promises concurrently

a tool for handling file uploads simple

• file
• upload
• multipart
• http

CFFI based alternative to py4cl2

High performance utility functions using Generics

• filter
• functional
• generics
• go

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

Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.

• xor-filter
• bloom-filter
• erlang-nif
• erlang