Similar Items: OMEinsumContractionOrders: A Julia package for tensor network contraction order optimization
- Using higher-order contracts to model session types
- Sunny.jl: A Julia Package for Spin Dynamics
- Automata for Specifying and Orchestrating Service Contracts
- Retractability, games and orchestrators for session contracts
- Verifying liquidity of recursive Bitcoin contracts
- Efficient frequent directions algorithms for approximate decomposition of matrices and higher-order tensors