path-dependent

Here are 2 public repositories matching this topic...

Language:All

Filter by language

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.

fortran simulation composite frc subroutines abaqus umat cae f90 path-dependent curing

UpdatedFeb 6, 2025
Fortran

mtumilowicz /scala3-dependent-types-polymorphic-functions-workshop

Star1

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

dependent-types workshop first-order-logic idris workshop-materials polymorphic-types scala3 union-types phantom-types typelevel-programming typed-lambda-calculus polymorphic-functions curry-howard-isomorphism compile-time-meta-programming dependent-type-theory path-dependent scala3-metaprogramming type-programming path-dependent-types

UpdatedJan 26, 2025
Scala

Improve this page

Add a description, image, and links to thepath-dependent topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback