tomsib2001/mpi_topologies
Some diffusion on several elementary diffusion algorithms for INF442
Public GitHub Catalog
Discovered Oct 5, 2026
tomsib2001 / euler54
Project Euler 54 in OCaml
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#29323509GitHub System ID
tomsib2001Organization / User
PublicVisibility
ActiveCatalog Status
More from tomsib2001
tomsib2001/validnum
Validated Numerics in Coq: Differential Equations, integrals and more.
tomsib2001/orisi
Oracle and client source code [START HERE]
tomsib2001/CoqFP_complex_mult_FMA
Formalisation of the paper Error Bounds On Complex Floating Point multiplication with FMA