Projects in Awesome Lists tagged with path-dependent
A curated list of projects in awesome lists tagged with path-dependent .
https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials
Last synced: 23 Feb 2025
https://github.com/caeassistant-group/path-dependent-abaqus-model-for-the-analysis-of-composite-curing
This study introduces a novel method for analyzing residual stresses in composite materials: the Abaqus path-dependent curing model. The model is implemented within Abaqus CAE using Fortran subroutines like USDFLD, UMAT, HETVAL, UEXPAN, and DISP.
abaqus cae composite curing f90 fortran frc path-dependent simulation subroutines umat
Last synced: 31 Mar 2025
