Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
A declarative, HTML-based language that makes building web apps fun
- javascript
- ui-components
- dom
- vdom
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
The OpenMusic visual programming / computer-aided composition environment
- computer-aided-composition
- visual-programming
- music
- openmusic
interactive programming of melodies, producing MIDI
A realtime visual programming language for interactive media.
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436