Automatic Differentiation for Tensor Algebras
☆28May 8, 2018Updated 7 years ago
Alternatives and similar repositories for TensorAlgDiff
Users that are interested in TensorAlgDiff are comparing it to the libraries listed below
Sorting:
- Python package to heuristically solve optimization problems on quasi-2d lattices using approximate tensor network contractions.☆12Sep 24, 2021Updated 4 years ago
- A fast tensor library for c++.☆11Sep 23, 2015Updated 10 years ago
- A study of ecosystem in Julia, as an alternative to Matlab☆12Jul 2, 2020Updated 5 years ago
- A tutorial for Yao.jl☆12Oct 9, 2023Updated 2 years ago
- Streaming Message Interface: High-Performance Distributed Memory Programming on Reconfigurable Hardware☆15Mar 1, 2022Updated 4 years ago
- ☆11Sep 14, 2020Updated 5 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- A package for efficient simulation and differentiation of parametrized quantum circuits.☆14Sep 26, 2025Updated 5 months ago
- ☆18Aug 25, 2021Updated 4 years ago
- Semi-safely generate CIL in F#☆57May 22, 2021Updated 4 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- Cadabra computer algebra☆21Dec 20, 2016Updated 9 years ago
- Auto differentiation over linear algebras (a Zygote extension)☆35Nov 24, 2025Updated 3 months ago
- arXiv submission core☆14Jan 6, 2022Updated 4 years ago
- Basic Tensor Algebra Subroutines☆48Feb 9, 2026Updated last month
- Deep.Net machine learning framework for F#☆101Jun 22, 2022Updated 3 years ago
- EGGS, a method to speed up sparse matrix operations when the same sparsity is used for multiple times. This repo contains examples that s…☆26Aug 4, 2020Updated 5 years ago
- TileFlow is a performance analysis tool based on Timeloop for fusion dataflows☆67Apr 12, 2024Updated last year
- A Constructive Solid Geometry (CSG) and ray tracing package for Julia☆19Sep 25, 2020Updated 5 years ago
- Is functional programming suitable for mobile app development?☆14Dec 11, 2022Updated 3 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27May 13, 2019Updated 6 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- https://arxiv.org/pdf/2007.05094.pdf An Easy-To-Use Code Generator for Gradients and Hessians☆30Sep 22, 2021Updated 4 years ago
- A monadic Future design pattern implementation in Swift☆16Jan 6, 2018Updated 8 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 3 years ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- Akka.Hive provides an Aktor implementation of a discrete event simulation framework. The implementation is able to shift beween virtual t…☆12Aug 15, 2023Updated 2 years ago
- Akka.NET serialization with MessagePack☆14Feb 10, 2026Updated last month
- ☆42Apr 25, 2024Updated last year
- A F# Library for simplifying access to remote data, with caching and batching☆12Oct 18, 2017Updated 8 years ago
- A bullet journal built with Falco☆13Mar 28, 2021Updated 4 years ago
- This repository is a minimal starter template for using Spectre.Console from a console application in F#, using commands and settings bin…☆17Nov 26, 2023Updated 2 years ago
- ParaDnn: A systematic performance analysis methodology for deep learning.☆40Mar 30, 2020Updated 5 years ago
- MBrace runtime implementation targeting Amazon Web Services☆13Oct 19, 2017Updated 8 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Nov 2, 2021Updated 4 years ago
- OpenCL offline compiler☆21Feb 21, 2016Updated 10 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago