justinmeiners / why-train-when-you-can-optimizeLinks
Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
☆28Updated 2 years ago
Alternatives and similar repositories for why-train-when-you-can-optimize
Users that are interested in why-train-when-you-can-optimize are comparing it to the libraries listed below
Sorting:
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Brzozowski derivative python sketch☆85Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆36Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 3 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated 3 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆97Updated last year
- Polynomial-time Meta-Interpretive Learning☆127Updated 4 months ago
- convert a scikit-learn decision tree into a Keras model☆39Updated last year
- ☆51Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- ☆53Updated 4 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- Yet Another Compiler Visualizer☆159Updated 3 years ago
- ☆45Updated 2 years ago
- Various implementation of byte matrix multiplication☆26Updated 5 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆83Updated 5 years ago
- Copies of prolog solvers for use from python☆17Updated 11 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A literate programming system for any language.☆111Updated last year
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- Autoregressive transformers in APL☆101Updated last month