Diva Redux is a one-page theme for u-he Diva
☆17Mar 23, 2020Updated 6 years ago
Alternatives and similar repositories for diva-redux
Users that are interested in diva-redux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reaper Scripts☆14May 11, 2023Updated 3 years ago
- Experimental functional language☆16Dec 24, 2025Updated 7 months ago
- Beat Repeater with Sidechain Beat Recognation and Midi-Clock Sync☆14Jan 20, 2018Updated 8 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- This is a collection of Bitwig Scripts for KMI gear☆10Oct 19, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Digital Audio Funstation☆14Jul 6, 2026Updated 2 weeks ago
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 5 years ago
- A Bitwig Studio contoller extension for the Midi Fighter Twister☆43Dec 10, 2025Updated 7 months ago
- Please check dreal4 instead.☆13Nov 11, 2015Updated 10 years ago
- The open source framework for sample based instruments☆14Updated this week
- Simple Python script to extract and generate Adobe Color Swatch (.aco) files☆18Jan 10, 2023Updated 3 years ago
- The Rocq Prover bot☆29Jun 13, 2026Updated last month
- quantised granular engine☆21Sep 13, 2018Updated 7 years ago
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Auto-Delete-for_Blender☆15Nov 21, 2020Updated 5 years ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- Extended bi-directional communication for the DJ TechTools MidiFighter Twister☆12Aug 12, 2022Updated 3 years ago
- Template starter file for Native Instrument's Kontakt KSP Script☆22Feb 10, 2019Updated 7 years ago
- Python API for lightweight communication with the Rocq proof assistant☆20Apr 18, 2026Updated 3 months ago
- I3 wm finder, which allows you to move and focus, and switch back to locations with dmenu☆15Feb 22, 2015Updated 11 years ago
- ReaScripts☆18Jul 30, 2024Updated last year
- Toonkit Samples☆16Nov 25, 2021Updated 4 years ago
- ☆27Mar 23, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Perl extensions for the rxvt-unicode terminal emulator☆17Dec 1, 2014Updated 11 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated last year
- Extracts NKX Monolith files☆28Apr 15, 2019Updated 7 years ago
- ☆15Jun 27, 2026Updated 3 weeks ago
- Industry standard move, rotate and scale interaction for Blender 2.80.☆12Sep 20, 2019Updated 6 years ago
- A series of benchmarks to test performance of native Web Audio VS JavaScript DSP☆28Jan 29, 2017Updated 9 years ago
- Some neat fish snippets and tricks☆14Jan 4, 2026Updated 6 months ago
- Scripts For Bitwig☆17Nov 30, 2018Updated 7 years ago
- pytheory (Music Theory for Humans) inside Ableton Live — key/chord detection and progression generation, via Pyodide☆19Jun 17, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Jan 3, 2025Updated last year
- Class instances for Coq inductive types with little boilerplate☆27May 7, 2026Updated 2 months ago
- Proof and Code Presentation Framework☆22Jul 17, 2019Updated 7 years ago
- Github page for osxc☆20Jun 6, 2014Updated 12 years ago
- 23volts modules for VCVRack☆13Dec 18, 2021Updated 4 years ago
- Programming language for stream processing.☆32Sep 3, 2024Updated last year
- Mono open source ECMA CLI, C# and .NET implementation.☆16Mar 11, 2023Updated 3 years ago