Automatic Differentiation for Tensor Algebras
☆28May 8, 2018Updated 8 years ago
Alternatives and similar repositories for TensorAlgDiff
Users that are interested in TensorAlgDiff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- End to end Tensor IR/DSL stack for deploying deep learning workloads to hardwares☆10Oct 25, 2021Updated 5 years ago
- A system for programming formally-verified loop transformations.☆16Sep 25, 2026Updated last month
- Companion notebook for the article "Practical Quantum Computing with Cirq."☆12Jan 11, 2019Updated 7 years ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 7 years ago
- Steklov Spectral Geometry for Extrinsic Shape Analysis☆12Aug 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python package to heuristically solve optimization problems on quasi-2d lattices using approximate tensor network contractions.☆12Sep 24, 2021Updated 5 years ago
- A tutorial for Yao.jl☆11Oct 9, 2023Updated 3 years ago
- ☆11Sep 14, 2020Updated 6 years ago
- Streaming Message Interface: High-Performance Distributed Memory Programming on Reconfigurable Hardware☆15Mar 1, 2022Updated 4 years ago
- Deep.Net machine learning framework for F#☆103Jun 22, 2022Updated 4 years ago
- A package for efficient simulation and differentiation of parametrized quantum circuits.☆14Sep 26, 2025Updated last year
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- ☆18Aug 25, 2021Updated 5 years ago
- 数字键盘组件/Input number component☆10Feb 29, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆31Oct 10, 2018Updated 8 years ago
- Content for a workshop on Mathematical Planning☆24Mar 5, 2021Updated 5 years ago
- F# GRPC Sample☆11Apr 21, 2021Updated 5 years ago
- uc::jni is a Java Native Interface (JNI) wrapper library created C++14 single-header.☆11Aug 4, 2019Updated 7 years ago
- A wrapper around F# interactive (fsi) that exposes an MCP server endpoint for AI agents allowing for fsi IO.☆41Dec 23, 2025Updated 10 months ago
- ☆11Apr 29, 2017Updated 9 years ago
- Fable/F# TypeScript binding tools.☆14Updated this week
- Is functional programming suitable for mobile app development?☆14Dec 11, 2022Updated 3 years ago
- A demo code for synchronization in Swift☆13Nov 23, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13May 31, 2026Updated 4 months ago
- A URL shortener web application written with WebSharper and ASP.NET Core☆13May 26, 2021Updated 5 years ago
- Code for the results of the Paper:☆21May 17, 2018Updated 8 years ago
- TileFlow is a performance analysis tool based on Timeloop for fusion dataflows☆72Apr 12, 2024Updated 2 years ago
- ☆11Mar 24, 2025Updated last year
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆28May 13, 2019Updated 7 years ago
- ☆11Jan 11, 2012Updated 14 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 6 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Let's build a completely self-hosting Lua compiler from scratch (that means regex, lexer, parser, bytecode, the whole nine yards!)☆12Dec 2, 2015Updated 10 years ago
- A bullet journal built with Falco☆13Updated this week
- A gem REPL version of tryruby.org☆12Nov 3, 2015Updated 10 years ago
- https://arxiv.org/pdf/2007.05094.pdf An Easy-To-Use Code Generator for Gradients and Hessians☆31Sep 22, 2021Updated 5 years ago
- Sample projects for the Wilderness Labs Meadow platform☆13Sep 8, 2021Updated 5 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 11 years ago
- A monadic Future design pattern implementation in Swift☆16Jan 6, 2018Updated 8 years ago