Sign in

Repository Index

71,372 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

217–240 of 258 · Most stars

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

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)

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

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

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad