smondet/rng-contest
Ketrew pipeline that runs PRNG test suite(s) (for now just Dieharder)
Public GitHub Catalog
Discovered Nov 1, 2026
smondet / awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#47146878GitHub System ID
smondetOrganization / User
PublicVisibility
ActiveCatalog Status
More from smondet
smondet/ocaml
The core OCaml system: compilers, runtime system, base libraries
smondet/ollvm
An higher-level LLVM binding for OCaml
smondet/ocaml-conduit
Resolve URIs into communication channels for Async or Lwt