DCtheTall / hands-on-machine-learning
Implementations of code examples in O'Reilly's Hands On Machine Learning book.
☆7Updated 5 years ago
Alternatives and similar repositories for hands-on-machine-learning:
Users that are interested in hands-on-machine-learning are comparing it to the libraries listed below
- ☆19Updated 4 years ago
- A distributed, fault-tolerant Redis Client POC completely written by prompting ChatGPT.☆15Updated 2 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Foundations of Computer Science notebooks☆16Updated 5 months ago
- In this online version of the classic con game, we demonstrate how to use IBM's quantum computer to solve the riddle of the game by deduc…☆10Updated 7 years ago
- Proof of concept on a predictive maintenance use case using federated learning to continuously improve predictions of the remaining life…☆11Updated 5 years ago
- LLVM syntax highlight extension for VS Code☆13Updated last year
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆19Updated 5 years ago
- A new language for optimization☆13Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Accompanying source code for examples from the book "Implementing and Exploiting Cryptography"☆16Updated 7 months ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago
- Code and data to accompany the Udemy course End-to-end data science: decision trees☆14Updated 4 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Free programming language books☆10Updated 4 years ago
- A Monte Carlo Tree Search AI for the game 2048☆30Updated 4 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆13Updated 8 months ago
- The Incredible TensorFlow 2: a curated list of tutorials, papers, projects, communities and more relating to TensorFlow 2.☆30Updated 5 years ago
- C++ courses for Paris Dauphine☆20Updated 3 years ago
- Support material for "A New Cellular Platform for the Development of Synthetic Living Machines"☆10Updated 4 years ago
- Example notebooks using BlazingSQL with the RAPIDS AI ecoystem.☆15Updated 5 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Updated 2 years ago
- Computing the greatest common divisor with transformers, source code for the paper https//arxiv.org/abs/2308.15594☆14Updated last year
- Website for Alloytools☆13Updated last month
- A programming project on automatic differentiation in OCaml☆11Updated 2 years ago
- Bayesian Optimization for very Noisy functions☆18Updated 3 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated last month
- Implementing Time Series Auto Regressive Model (AR Model) from Scratch in Python☆15Updated 3 years ago