Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

97–120 of 143 · Most stars

POMjs is a random password generator in HTML and pure Javascript with no cookies and no trackers. It has been translated into several languages.

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

  • coq
  • randomized-algorithms
  • probability
  • monad

A sort wrapper enabling both use of random-access sorting on non-random access containers, and increased performance for the sorting of large types.

  • sort
  • sorting

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

Pure random data generation library, appropriate for realistic simulations in the Erlang ecosystem

  • gleam
  • gleam-lang
  • erlang
  • elixir