tomsib2001/mpi_topologies
Some diffusion on several elementary diffusion algorithms for INF442
Public GitHub Catalog
Discovered Oct 2, 2026
tomsib2001 / orisi
Oracle and client source code [START HERE]
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.
#24965497GitHub System ID
tomsib2001Organization / User
PublicVisibility
ActiveCatalog Status
More from tomsib2001
tomsib2001/euler54
Project Euler 54 in OCaml
tomsib2001/validnum
Validated Numerics in Coq: Differential Equations, integrals and more.
tomsib2001/CoqFP_complex_mult_FMA
Formalisation of the paper Error Bounds On Complex Floating Point multiplication with FMA