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
- Proof infrastructure about LTL in Lean 4☆35Aug 31, 2026Updated last week
- Rust binding of fortran Limited memory LBFGS subroutine☆14Jul 30, 2019Updated 7 years ago
- collection of hakyll themes from the community☆18Jan 24, 2021Updated 5 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 6 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.
- Convolutional neural net to classify states of the classical Ising gauge theory (TensorFlow)☆10May 10, 2016Updated 10 years ago
- SIMD vectorization backend☆17May 30, 2020Updated 6 years ago
- Diff-o-matic does auto diff☆14May 9, 2022Updated 4 years ago
- LAPACK source of choice☆14Oct 6, 2025Updated 11 months ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- ☆16Sep 20, 2016Updated 9 years ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆20Nov 14, 2022Updated 3 years ago
- ☆32Jul 8, 2022Updated 4 years ago
- Rust bindings to the Halide runtime☆20Apr 11, 2023Updated 3 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.
- ☆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
- A C++ class that adds arbitrary precision integers aimed at high performance and ease of use. All you need to do is replace int with huge…☆12Mar 6, 2024Updated 2 years ago
- Example showing how to embed a directory of files in a zig executable☆23Jul 8, 2026Updated last month
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Apr 17, 2026Updated 4 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
- Paper cut light box previewer☆13Oct 13, 2021Updated 4 years ago
- N2O: Application Server☆14Nov 22, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Jun 5, 2023Updated 3 years ago
- Chapel Data Object☆10Jun 9, 2021Updated 5 years ago
- Coaster plugin for backend-agnostic Neural Network operations☆13Dec 28, 2019Updated 6 years ago
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 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
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 11 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
- No more 8 hour sessions trying to get cuda to compile☆12Feb 16, 2025Updated last year
- High-performance automatic differentiation of LLVM and MLIR.☆1,688Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Alexandria-like library for Emacs Lisp☆13Dec 31, 2020Updated 5 years ago
- 本代码是用来重复Vortex pinning by the point potential in topological superconductors:A scheme for braiding Majorana bound states论文中关于Majorana费米子在…☆14Nov 7, 2024Updated last year
- egui plotting experiment☆17May 8, 2021Updated 5 years ago
- Ormolu GitHub action☆32Aug 4, 2026Updated last month
- ☆15Sep 8, 2022Updated 4 years ago
- A Decimal128 IEEE 754 2008 number library for the Nim programming language.☆25Jun 23, 2021Updated 5 years ago
- Word2vec implemented in nim.☆30Sep 30, 2021Updated 4 years ago