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:
- (at least a useful portion of) Temporal Logic of Actions, a.k.a. TLA in Lean 4☆33Updated this week
- Rust binding of fortran Limited memory LBFGS subroutine☆14Jul 30, 2019Updated 7 years ago
- High Level Rust Wrapper for OpenImageIO☆13Apr 22, 2025Updated last year
- Fourmolu GitHub Action☆13Jun 24, 2026Updated last month
- ☆11Nov 29, 2017Updated 8 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.
- Static site generator based on Hakyll☆16Aug 10, 2022Updated 4 years ago
- collection of hakyll themes from the community☆18Jan 24, 2021Updated 5 years ago
- Enzyme integration into Rust. Experimental, do not use.☆102Feb 24, 2023Updated 3 years ago
- SIMD vectorization backend☆17May 30, 2020Updated 6 years ago
- Auto differentiation library☆76Apr 25, 2025Updated last year
- Diff-o-matic does auto diff☆14May 9, 2022Updated 4 years ago
- Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.☆10Aug 16, 2023Updated 3 years ago
- LAPACK source of choice☆14Oct 6, 2025Updated 10 months ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 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.
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆20Nov 14, 2022Updated 3 years ago
- Rust bindings to the Halide runtime☆20Apr 11, 2023Updated 3 years ago
- ☆12Sep 8, 2022Updated 3 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
- An interactive OpenCL wavefront path tracer☆77Jun 4, 2024Updated 2 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Apr 17, 2026Updated 4 months ago
- the repaired code of paper "Age Progression/Regression by Conditional Adversarial Autoencoder---CVPR 2017"☆10Sep 19, 2017Updated 8 years ago
- ☆12Jun 5, 2023Updated 3 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.
- Coaster plugin for backend-agnostic Neural Network operations☆13Dec 28, 2019Updated 6 years ago
- 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
- Autodifferentiation package in Rust.☆179Jun 21, 2018Updated 8 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- High-performance automatic differentiation of LLVM and MLIR.☆1,678Updated this week
- Monte Carlo simulations of magnetic systems in Python☆12Aug 1, 2019Updated 7 years ago
- ☆13Dec 31, 2020Updated 5 years ago
- A simple implementation of reverse mode automatic differentiation in C++ without the use of any libraries.☆13Jul 3, 2018Updated 8 years ago
- 本代码是用来重复Vortex pinning by the point potential in topological superconductors:A scheme for braiding Majorana bound states论文中关于Majorana费米子在…☆14Nov 7, 2024Updated last year
- 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.
- Ormolu GitHub action☆32Aug 4, 2026Updated 2 weeks ago
- ☆15Sep 8, 2022Updated 3 years ago
- A Decimal128 IEEE 754 2008 number library for the Nim programming language.☆25Jun 23, 2021Updated 5 years ago
- replacement for make☆19Nov 20, 2018Updated 7 years ago
- Word2vec implemented in nim.☆30Sep 30, 2021Updated 4 years ago
- ☆16Mar 24, 2021Updated 5 years ago
- Treat XPath expressions as Python objects☆11Mar 31, 2021Updated 5 years ago