Repository Index

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

• programming-language
• carbon-lang
• compiler
• cpp

A music programming language for musicians. :notes:

• music
• programming-language
• music-programming-language
• music-composition

Python API for Deequ

:musical_note: strongly-timed musical programming language

• language
• composition
• programming-language
• synthesis

interactive programming of melodies, producing MIDI

• music
• notes
• music-programming
• golang

Jupyter kernel for Coq

• coq
• jupyter
• kernel
• jupyter-kernels

A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.

• wasm
• rust
• notes-app
• todo-list