島岡系芸大和声記号専用フォント。 // A typeface which allows easy typography of Shimaoka Roman Numerals used among conservatories in Japan.A typeface which allows easy typography of Shimaoka Roman Numerals used among conservatories in Japan.
☆15Nov 9, 2023Updated 2 years ago
Alternatives and similar repositories for Yuzuri-Font
Users that are interested in Yuzuri-Font are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21Jan 8, 2023Updated 3 years ago
- Web Framework for Scala.（PoC）☆14Jun 23, 2026Updated last month
- M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ☆10Nov 4, 2022Updated 3 years ago
- ☆13Mar 23, 2026Updated 4 months ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- AI Agents on 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.
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Basic Win32 MDI GUI application which can be built using Visual Studio.☆12Nov 26, 2017Updated 8 years ago
- ☆14Feb 26, 2026Updated 5 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Jul 14, 2026Updated 2 weeks ago
- Mirror of libco from byuu.org plus patches for Fluent Bit☆13Mar 27, 2023Updated 3 years ago
- Wasm examples, brought to you by humans!☆16Jan 7, 2021Updated 5 years ago
- Game Boy Assembly Programming☆19Mar 12, 2019Updated 7 years ago
- Personal Haxe libraries☆21Jan 15, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formalisation of the theory of real closed fields in Lean 4.☆15Jul 21, 2026Updated last week
- Ctags support for GDScript☆12Oct 15, 2016Updated 9 years ago
- ☆10Jan 17, 2023Updated 3 years ago
- 国産テレカン。略してコクテレ☆10Sep 10, 2020Updated 5 years ago
- The sublibrary of Mathlib dedicated to additive combinatorics☆17Updated this week
- YAMAHA MA-5 (YMU765) / YMF825 clone software FM synthesizer☆14Aug 29, 2019Updated 6 years ago
- Reason API for libvim☆21May 27, 2020Updated 6 years ago
- ☆15Jan 16, 2026Updated 6 months ago
- ☆25Apr 21, 2021Updated 5 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.
- (Mirror) A Music formalization library and DSL in Lean 4☆19Jul 15, 2026Updated last week
- p5.gvm.js is a library for p5.js that allows you to easily create generative video with rhythm.☆12Jun 23, 2025Updated last year
- Server-side rendering for AMP in Python☆19Updated this week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- ☆21May 26, 2024Updated 2 years ago
- A formula that become itself when plotted☆21Feb 29, 2024Updated 2 years ago
- ☆13Aug 7, 2025Updated 11 months ago
- Vim Mode for LibreOffice/OpenOffice With Calc and Writer Support☆15Nov 20, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆15Feb 20, 2023Updated 3 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆20Jul 10, 2026Updated 2 weeks ago
- Accurate C port of Scream Tracker 3's replayer☆16May 16, 2026Updated 2 months ago
- ☆16Feb 10, 2021Updated 5 years ago
- Another Weibo Library☆10Jan 20, 2017Updated 9 years ago
- IMK based Input method sample on mac OS☆10Mar 27, 2017Updated 9 years ago
- Library Infrastructure for LilyPond add-ons☆19Sep 1, 2023Updated 2 years ago