danielvoconnor / calc_on_manifolds_intuitionLinks
Notes about the intuition behind calculus on manifolds and the generalized Stokes's theorem
☆20Updated 3 years ago
Alternatives and similar repositories for calc_on_manifolds_intuition
Users that are interested in calc_on_manifolds_intuition are comparing it to the libraries listed below
Sorting:
- Fast singularity detection with kernel☆33Updated last year
- ☆60Updated 3 years ago
- ☆18Updated 4 years ago
- A miniscule implementation of reverse mode auto-differentiation☆29Updated 3 years ago
- Fine-grained, dynamic control of neural network topology in JAX.☆21Updated last year
- ☆43Updated last week
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated last month
- This repository contain the simple llama3 implementation in pure jax.☆64Updated 3 months ago
- ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems☆19Updated 2 years ago
- Neural Networks for JAX☆84Updated 8 months ago
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆62Updated 3 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated last year
- Tools for JAX☆47Updated last week
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- ☆20Updated last year
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.☆18Updated 11 months ago
- RASP-L in Haskell for my fellow rascals☆18Updated last year
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- Multibackend Graph Neural Networks in Keras 3☆25Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆60Updated 10 months ago
- Graph Learning with JAX☆14Updated 2 years ago
- Multiple dispatch over abstract array types in JAX.☆124Updated this week
- ☆57Updated last year
- A minimal PyTorch re-implementation of GPT (Generative Pretrained Transformer) language model training☆15Updated last year
- A JAX implementation of stochastic addition.☆14Updated 2 years ago
- ☆18Updated last year
- Code for the book "The Elements of Differentiable Programming".☆86Updated 2 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated this week
- Serialize JAX, Flax, Haiku, or Objax model params with 🤗`safetensors`☆44Updated last year