Sign in

Repository Index

65,264 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

73–87 of 87 · Most stars

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)

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

  • coq
  • randomized-algorithms
  • probability
  • monad

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.

  • functional-programming
  • java
  • json-values
  • persistent-data-structure