Cryptol: The Language of Cryptography
Repository Index
47,133 repositories indexed
97–109 of 109 · Most stars
🎤 a simple audio programming language implemented in JS
- livecoding
- programming-language
- audio
- javascript
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
ChucK Music Programming Language
Maintainable configuration files
- configuration-language
- haskell
- dhall
Sail architecture definition language
ChoiceScript is a language for developing multiple-choice games.
The metalua programming language
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
An esoteric programming language built to break LLMs and coding agents.
TranslatedMealScript turns "what to eat" into a language, then compiles it into a plan backed by official price evidence
The repository host gives no description.
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language