boazbk / nandnotebooksLinks
Jupyter notebooks with some NAND code
☆19Updated 7 years ago
Alternatives and similar repositories for nandnotebooks
Users that are interested in nandnotebooks are comparing it to the libraries listed below
Sorting:
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆77Updated 2 years ago
- ☆104Updated this week
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated 2 years ago
- The simple essence of automatic differentiation☆201Updated 4 years ago
- Julia implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"☆129Updated 6 years ago
- Errata for Algorithms for Optimization book☆72Updated 7 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- ☆70Updated 11 years ago
- Evaluation Framework for Probabilistic Programming Languages☆103Updated last year
- probabilistic programming for PL folks☆159Updated 4 years ago
- ☆33Updated 4 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- Slides, Jupyter Notebooks and scripts for the Deep Learning: Do-It-Yourself! lectures at ENS☆22Updated 4 years ago
- Lecture notes of the course Analysis On Manifolds☆22Updated last week
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra☆39Updated 14 years ago
- AA120Q Course Materials☆29Updated 10 months ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 11 years ago
- Experiments learning the even-parity dataset with MPS (tensor trains)☆23Updated 2 years ago
- Labs for the Foundations of Applied Mathematics curriculum.☆229Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆43Updated 5 months ago
- A series of introductory instructional python notebooks, for computational number theory.☆17Updated 7 years ago
- Basic probability manipulation routines for discrete variables☆29Updated 8 years ago
- Off the convex path☆67Updated 2 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 2 years ago
- Functional machine learning for fun☆85Updated 4 years ago
- Let's translate works of Grothendieck☆31Updated 6 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆19Updated 3 weeks ago
- Rudimentary automatic differentiation framework☆75Updated 6 years ago