Haskell experiments involving TVM AI framework
☆20Apr 26, 2019Updated 6 years ago
Alternatives and similar repositories for htvm
Users that are interested in htvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Apr 28, 2023Updated 2 years ago
- a playground for working with fully static tensors and automatic differentiation☆16Mar 18, 2021Updated 5 years ago
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- A simple file/directory watcher for Linux and macOS and other BSDs☆13Oct 28, 2023Updated 2 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Automatic Differentiation for Tensor Algebras☆28May 8, 2018Updated 7 years ago
- ☆17Feb 13, 2021Updated 5 years ago
- Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.☆17Mar 27, 2022Updated 4 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 9 years ago
- nnvm&tvm example of cross compilation and deployment in Nvidia Jetson TX2 platform☆11Apr 17, 2018Updated 7 years ago
- Automatic Differentiation☆388Jan 20, 2026Updated 2 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The current state of Rust’s various stable/unstable features.☆16May 7, 2021Updated 4 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆74May 30, 2025Updated 9 months ago
- A Gradual Dependently-typed Language☆14Jun 26, 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 5 years ago
- A Halide backend for ONNX☆12Nov 5, 2019Updated 6 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Jun 16, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Mar 29, 2016Updated 10 years ago
- ☆13Oct 18, 2017Updated 8 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- GPU implementation of Winograd convolution☆10Oct 23, 2017Updated 8 years ago
- ☆29Mar 1, 2026Updated 3 weeks ago
- Stratified synthesis for learning machine code instruction semantics☆41Sep 24, 2025Updated 6 months ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Code release of "Deep Visual-Semantic Quantization of Efficient Image Retrieval" (CVPR 17)☆11Apr 5, 2017Updated 8 years ago
- 「にこ先輩といっしょに代数！」で使ったコードの実行可能な全文（`stack runghc`）☆14Nov 7, 2018Updated 7 years ago
- Z3 webpage repository☆10Feb 19, 2026Updated last month
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago