justinmeiners / why-train-when-you-can-optimize
Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
☆27Updated 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
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 10 months ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 3 weeks ago
- Copies of prolog solvers for use from python☆17Updated 8 months ago
- ☆52Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 11 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆25Updated 3 weeks ago
- Yet Another Compiler Visualizer☆159Updated 3 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 9 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated last month
- Variaous articles☆80Updated 2 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Tool for euclidean geometry aware of logic☆84Updated 9 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 5 months ago
- various toys in j☆12Updated 2 years ago
- ☆50Updated 9 months ago
- A probabilistic approximate DNF counter☆36Updated 11 months ago
- A literate programming system for any language.☆106Updated last year
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 3 months ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Autoregressive transformers in APL☆99Updated last month
- the origins of J☆62Updated last year