Studio-kalavati / Swaranotebook-bandish-editorLinks
Bandish notation editor for Hindustani classical music
☆25Updated this week
Alternatives and similar repositories for Swaranotebook-bandish-editor
Users that are interested in Swaranotebook-bandish-editor are comparing it to the libraries listed below
Sorting:
- a tiny tile-based editor☆304Updated 3 weeks ago
- An up to date listing of all FP jobs open to folks in India☆17Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 9 months ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Domain Specific Languages for Computational Law☆76Updated 3 weeks ago
- ☆51Updated 6 months ago
- Awesome resources for learning about computery things while at (or not at) the Recurse Center☆29Updated 4 years ago
- Experimental tool for writing dynamic Markdown docs that embed interactive explorable visualizations☆29Updated 3 years ago
- A typed, polyglot, functional language☆198Updated this week
- Catalogue of portals that maps out roadmap for self learners☆80Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- A small, weird and unpractical programming language.☆103Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- ☆88Updated 8 months ago
- A book about category theory☆418Updated this week
- Explained from First Principles is a technology, science, and philosophy blog for curious people who want to understand and change the wo…☆121Updated last year
- A Categorical View of Computation☆33Updated 9 months ago
- Catalog of visual lambda calculi☆143Updated this week
- An implementation of interaction nets in JS.☆132Updated last month
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- a dead-simple just-add-water css library☆10Updated 4 years ago
- Esoteric language for programmers who want to investigate whether or not they and everything they know in their world is actually real.☆18Updated 4 years ago
- A graphical interactive proof assistant designed for education☆166Updated 8 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated last year
- A data-driven micro web framework for Haskell☆103Updated last year
- An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.☆72Updated 2 weeks ago
- *cheep cheep shriek caw*☆94Updated last year
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆356Updated this week
- Haskell implementation of open games☆170Updated 5 months ago
- A Twitter reader designed for learning from the Twittersphere, built with Ink and Torus☆118Updated 3 years ago