Dasha（陈宁）的网络足迹
☆16Nov 20, 2022Updated 3 years ago
Alternatives and similar repositories for Dasha
Users that are interested in Dasha are comparing it to the libraries listed below
Sorting:
- This REST API gateway allow you to send and receive SMS from gammu supported devices☆14Feb 20, 2026Updated 2 weeks ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 3 years ago
- 基于数传电台的无人机编队通信软件☆15Mar 8, 2023Updated 3 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆10May 6, 2022Updated 3 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 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
- 这是一款用C#编写的PLC上位机专用开源框架，是花卷猫框架C#子集的子集，我将逐步向其中添加各种图形和通讯服务接口，大大提高这一块从业人员的工作效率和产品质量，目标是最终拥有几百上千个成熟的组件☆12Jan 12, 2023Updated 3 years ago
- Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR☆12Oct 4, 2024Updated last year
- ☆10Feb 22, 2016Updated 10 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
- Interactive Theorem Proving course using HOL4☆12Jun 21, 2023Updated 2 years ago
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 5 years ago
- bidirectional learning midi controls for supercollider☆13Feb 2, 2022Updated 4 years ago
- Static site generator☆12Apr 6, 2025Updated 11 months ago
- Pure Data vanilla patches☆11Dec 12, 2019Updated 6 years ago
- An open-source Eink reader launcher app. 开源电纸书桌面☆13Feb 24, 2020Updated 6 years ago
- Native prompt engineering translate script that can keep e-book format, URL, image and more.☆14Nov 6, 2023Updated 2 years ago
- Granular Sampler for teaching reference☆14Dec 8, 2025Updated 3 months ago
- random sequencer. 31 scales. in purrdata.☆13Jun 14, 2020Updated 5 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 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 library for graphic/symbolic score editing☆16Oct 16, 2021Updated 4 years ago
- Grid paper maker☆13Nov 16, 2019Updated 6 years ago
- A text annotation plugin for Protege 5+☆18Jul 12, 2025Updated 7 months ago
- Library of Genesis browser for the reMarkable paper tablet.☆17Dec 17, 2021Updated 4 years ago
- 本项目旨在设计并实现一个舆情监控系统，具体基于对知乎热榜话题的数据抓取、分析与可视化。☆18May 27, 2023Updated 2 years ago
- 用Javascript来生成小汽车车牌的预览效果图☆16Nov 14, 2014Updated 11 years ago
- a short interactive tutorial for live coding with TidalCycles☆17Mar 13, 2018Updated 7 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Apr 17, 2017Updated 8 years ago
- ☆14Oct 19, 2024Updated last year
- Fetch your documents from Telegram to your Remarkable 2!☆14Nov 3, 2021Updated 4 years ago
- 基于知乎文本数据的lda和word2vec模型☆17Dec 31, 2020Updated 5 years ago
- Combine the magic of fuzzy searching with the magic of SuperCollider in NeoVim☆20Jul 23, 2023Updated 2 years ago
- Transfer your file from an air-gapped device to another, using only qrcode, no wifi/usb/bluetooth needed.☆17Nov 24, 2025Updated 3 months ago
- The code examples used in the SuperCollider book published by MIT☆26Jun 25, 2025Updated 8 months ago
- nodejs ldap server on top of mongodb☆12Aug 15, 2014Updated 11 years ago
- Tools for generating and working with TipToi gme files☆16Feb 8, 2022Updated 4 years ago
- Easy and ready-to-use script to download bird sound files and jsons from www.xeno-canto.org based on search terms.☆15Apr 7, 2021Updated 4 years ago
- 宾夕法尼亚大学计算机和信息科学系教授 Jean Gallier 的开源书籍《代数，拓扑，微分，与计算机科学与工程的优化理论》☆13Jan 29, 2024Updated 2 years ago