Powerful scripting language & versatile interactive shell
Repository Index
71,372 visible repositories in the index
1–11 of 11 · Most stars
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
inkle's open source scripting language for writing interactive narrative.
Next Generation Visual Programming System
- unit
- programming
- programming-language
- dataflow-programming
A Proof-oriented Programming Language
- programming-language
- verification
- dependent-types
- smt
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
A Graph Traversal Language (no longer active - see Apache TinkerPop)
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
interactive programming of melodies, producing MIDI
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
A realtime visual programming language for interactive media.