☆20Sep 15, 2023Updated 2 years ago
Alternatives and similar repositories for IDAGIO-Downloader
Users that are interested in IDAGIO-Downloader are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 5 years ago
- ☆13Aug 25, 2021Updated 4 years ago
- Library of Genesis browser for the reMarkable paper tablet.☆17Dec 17, 2021Updated 4 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Jan 1, 2016Updated 10 years ago
- ☆12May 10, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Collection of MaxMSP patches☆39Apr 27, 2023Updated 2 years ago
- A personal quality of life tracker.☆14Jan 2, 2026Updated 2 months ago
- A webapp for writing credible anonymized confessions☆24Sep 9, 2022Updated 3 years ago
- Faster, bit-reversed, FFT in CL☆27Feb 5, 2022Updated 4 years ago
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 10 months ago
- ☆10Feb 22, 2016Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Pure Data vanilla patches☆11Dec 12, 2019Updated 6 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 3 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- Grid paper maker☆13Nov 16, 2019Updated 6 years ago
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- Code for Interspeech2022 paper DeID-VC: Speaker De-identification via Zero-shot Pseudo Voice Conversion☆13May 6, 2023Updated 2 years ago
- A super simple function navigator for fzf☆19Feb 24, 2025Updated last year
- A library for graphic/symbolic score editing☆16Oct 16, 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 and start building anything your business needs.
- Haskell官方教程的中文翻译版。☆19Oct 31, 2011Updated 14 years ago
- random sequencer. 31 scales. in purrdata.☆13Jun 14, 2020Updated 5 years ago
- a terminal-style dark theme for logseq☆17Sep 9, 2021Updated 4 years ago
- ☠EXPERIMENTAL☠ vscode port of VEDA☆14Feb 20, 2019Updated 7 years ago
- ☆19May 28, 2024Updated last year
- Granular Sampler for teaching reference☆14Dec 8, 2025Updated 3 months ago
- CC0 sample bank created by the Cybernetic Orchestra☆16Jun 11, 2025Updated 9 months ago
- Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics☆13Nov 25, 2015Updated 10 years ago
- Fetch your documents from Telegram to your Remarkable 2!☆14Nov 3, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Combine the magic of fuzzy searching with the magic of SuperCollider in NeoVim☆20Jul 23, 2023Updated 2 years ago
- a collection of patches for BELA by bela.io☆14Dec 16, 2022Updated 3 years ago
- ☆11Jul 26, 2023Updated 2 years ago
- a short interactive tutorial for live coding with TidalCycles☆17Mar 13, 2018Updated 8 years ago
- an external for PD and Max/MSP implementing Iannis Xenakis' Dynamic Stochastic Synthesis☆17Dec 10, 2017Updated 8 years ago
- Monitor web pages and get notified when a page has changed☆12Dec 2, 2022Updated 3 years ago
- The text archive of the redtexts project☆14Dec 27, 2024Updated last year