#

finite-model

Here are 2 public repositories matching this topic...

hyperpolymath / EchoTypes.jl

Executable finite-domain companion to the Agda library echo-types — a runnable model, not a proof.

open-source reproducible-research computational-science julia-package finite-model scientific-software research-software hyperpolymath epistemic-infrastructure epistemic-computing echo-types veridical-computing equivalence-aware-computing typed-provenance

Updated Sep 20, 2026
Just

Konstantin8105 / Shell_generator

Generate shell mesh with external stiffiners

golang cylinder external-stiffiners finite-model

Updated May 14, 2017
Go

Add this topic to your repo

To associate your repository with the finite-model topic, visit your repo's landing page and select "manage topics."