Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: path-dependent

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.

Language: Fortran - Size: 284 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

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

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

Language: Scala - Size: 324 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

Related Keywords
path-dependent 2 workshop-materials 1 workshop 1 union-types 1 typelevel-programming 1 typed-lambda-calculus 1 type-programming 1 scala3-metaprogramming 1 scala3 1 polymorphic-types 1 polymorphic-functions 1 phantom-types 1 path-dependent-types 1 idris 1 first-order-logic 1 dependent-types 1 dependent-type-theory 1 curry-howard-isomorphism 1 compile-time-meta-programming 1 umat 1 subroutines 1 simulation 1 frc 1 fortran 1 f90 1 curing 1 composite 1 cae 1 abaqus 1