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:
- ☆13Feb 26, 2022Updated 4 years ago
- Staged Abstract Interpreters☆68Mar 13, 2023Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 11 months ago
- purple: compiling a reflective language☆33Feb 27, 2026Updated 6 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- ☆10Oct 24, 2024Updated last year
- ☆13Aug 2, 2022Updated 4 years ago
- An interpreter capable of executing a simple scripting language from a plain-text file☆14Sep 25, 2017Updated 8 years ago
- A MiniKanren in Python☆37Jul 15, 2016Updated 10 years ago
- A P2P blog and P2P Chat with no signalling server. Nothin' but RTC!☆16Nov 17, 2023Updated 2 years ago
- Portable implementation of quasiquote for Common Lisp☆31Jan 26, 2026Updated 7 months ago
- ☆33Jan 14, 2021Updated 5 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A workshop full of programs in various states of disrepair and in somes cases, distress☆10May 2, 2026Updated 4 months ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 6 months ago
- Documentation for Dear ImGui☆18Oct 1, 2025Updated 11 months ago
- bundle Ruby scripts as standalone Mac application☆14Dec 4, 2014Updated 11 years ago
- ☆12Jun 7, 2024Updated 2 years ago
- Rust implementation of the 7 GUI tasks by Eugen Kiss using Druid☆13Dec 27, 2020Updated 5 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- A Rust implementation of the Lean kernel☆10Jan 2, 2023Updated 3 years ago
- experimental computational medium and supporting tools☆24Aug 7, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 4 years ago
- Examples of literate programming by Knuth☆41Jun 22, 2025Updated last year
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- Leaderboard Comparing LLM Agent Security on System Prompt Leakage and Attack Probes☆20May 2, 2026Updated 4 months ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Convert Java bytecode to firm IR☆18Feb 20, 2017Updated 9 years ago
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Mar 21, 2025Updated last year
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 5 months 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.
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- A very little language☆16Jul 1, 2023Updated 3 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Dec 17, 2008Updated 17 years ago
- Hugo based website containing tutorials and other articles useful for KDE Development☆11Updated this week
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 8 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Parse .env files in lisp! Or don't, it's up to you.☆13May 5, 2020Updated 6 years ago