Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
☆32Nov 3, 2022Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- ☆11Feb 16, 2026Updated 8 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Staged Abstract Interpreters☆68Mar 13, 2023Updated 3 years ago
- A simple implementation of Random art in Python. Suitable for teaching and experiments.☆18Nov 9, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- purple: compiling a reflective language☆33Feb 27, 2026Updated 8 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- ☆13Aug 2, 2022Updated 4 years ago
- Common Lisp File Manager☆13Jun 3, 2021Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆13Jul 20, 2017Updated 9 years ago
- A Rust hashconsing library.☆39Oct 8, 2026Updated 3 weeks ago
- ☆10Oct 24, 2024Updated 2 years ago
- ☆33Jan 14, 2021Updated 5 years ago
- A MiniKanren in Python☆37Jul 15, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An interpreter capable of executing a simple scripting language from a plain-text file☆14Sep 25, 2017Updated 9 years ago
- ☆12Sep 30, 2019Updated 7 years ago
- Portable implementation of quasiquote for Common Lisp☆31Jan 26, 2026Updated 9 months ago
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- A Smalltalk in Python☆11Apr 26, 2022Updated 4 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last month
- CodeCosmos.com☆11Aug 19, 2014Updated 12 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98May 1, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.☆12Aug 24, 2014Updated 12 years ago
- core.logic music experiments☆13Jun 6, 2013Updated 13 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Fast Cryptocurrency Transactions, Securely (https://j.mp/FaCTS)☆10Nov 3, 2024Updated last year
- µKanren in JavaScript☆13Jan 22, 2014Updated 12 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 4 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- ☆13Jan 1, 2015Updated 11 years ago
- Repository for documents and experiments to do with algebraically-indexed types☆13Mar 23, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Leaderboard Comparing LLM Agent Security on System Prompt Leakage and Attack Probes☆20May 2, 2026Updated 6 months ago
- ☆12Jun 7, 2024Updated 2 years ago
- John Kimble is a live feedback system for classroom use.☆12Jan 5, 2017Updated 9 years ago
- ☆15Jan 9, 2013Updated 13 years ago
- Examples of literate programming by Knuth☆41Jun 22, 2025Updated last year
- simple backtracking sat solver in javascript☆11Oct 22, 2012Updated 14 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago