Reverse-mode automatic differentiation in Rust (experiment)
☆63Feb 6, 2021Updated 5 years ago
Alternatives and similar repositories for revad
Users that are interested in revad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic differentiation library for rust☆27Dec 27, 2014Updated 11 years ago
- Rust binding of fortran Limited memory LBFGS subroutine☆14Jul 30, 2019Updated 7 years ago
- Proof infrastructure about LTL in Lean 4☆38Updated this week
- Fourmolu GitHub Action☆13Jun 24, 2026Updated 3 months ago
- ☆11Nov 29, 2017Updated 8 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.
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 6 years ago
- Convolutional neural net to classify states of the classical Ising gauge theory (TensorFlow)☆10May 10, 2016Updated 10 years ago
- Enzyme integration into Rust. Experimental, do not use.☆102Feb 24, 2023Updated 3 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Jul 4, 2023Updated 3 years ago
- SIMD vectorization backend☆17May 30, 2020Updated 6 years ago
- Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.☆10Aug 16, 2023Updated 3 years ago
- Tensors and differentiable operations (like TensorFlow) in Rust☆503Jun 2, 2026Updated 4 months ago
- Diff-o-matic does auto diff☆14May 9, 2022Updated 4 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated last week
- ☆16Sep 20, 2016Updated 10 years ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆20Nov 14, 2022Updated 3 years ago
- LAPACK source of choice☆14Oct 6, 2025Updated last year
- wpgu for Zig☆10Dec 24, 2021Updated 4 years ago
- Rust bindings to the Halide runtime☆20Apr 11, 2023Updated 3 years ago
- ☆12Sep 8, 2022Updated 4 years ago
- A JAX implementation of stochastic addition.☆13Aug 15, 2022Updated 4 years ago
- An n-dimensional array library that uses wgpu to run compute shaders on all wgpu backends (and multiple at once)☆31May 25, 2020Updated 6 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.
- the repaired code of paper "Age Progression/Regression by Conditional Adversarial Autoencoder---CVPR 2017"☆10Sep 19, 2017Updated 9 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆27Apr 17, 2026Updated 6 months ago
- Developer repository for PyViennaCL. Visit http://viennacl.sourceforge.net/ for latest releases.☆32Sep 17, 2015Updated 11 years ago
- Chapel Data Object☆10Jun 9, 2021Updated 5 years ago
- Example showing how to embed a directory of files in a zig executable☆23Jul 8, 2026Updated 3 months ago
- An automatic differentiation library for both forward and reverse auto-diff via code transformation written in Rust.☆16Jan 21, 2022Updated 4 years ago
- Coaster plugin for backend-agnostic Neural Network operations☆13Dec 28, 2019Updated 6 years ago
- A computational graph for time-series processing.☆20Mar 22, 2025Updated last year
- A DAG (Directed Acyclic Graph) implementation of a Bayesian Network enabling Ancestral Sampling and Gibbs Sampling on Binary Discrete Var…☆16May 25, 2013Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Alexandria-like library for Emacs Lisp☆13Dec 31, 2020Updated 5 years ago
- comphash is a very lightweight Zig package offering a compile-time hash map for immutable, O(1) string-keyed lookups.☆19Jun 26, 2025Updated last year
- Dan Bernstein's qhasm package☆12Oct 10, 2015Updated 11 years ago
- The Average Novel☆10Dec 2, 2017Updated 8 years ago
- ☆13Dec 31, 2020Updated 5 years ago
- High-performance automatic differentiation of LLVM and MLIR.☆1,719Updated this week
- egui plotting experiment☆17May 8, 2021Updated 5 years ago