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

529–552 of 629 · Most stars

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

Just a simple implementation of DDD + clean architecture pattern. It also contains the exaplanation about the concepts that supports this implementation.

  • domain-driven-design
  • ddd
  • ddd-architecture
  • ddd-patterns

GoStats is a go library for math statistics mostly used in ML domains, it covers most of the statistical measures functions.

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