High-level tracing language for Linux
Repository Index
54,641 visible repositories in the index
1–7 of 7 · Most stars
Program your microcontrollers in a fast and robust high-level language.
- esp32
- toit
Cryptol: The Language of Cryptography
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
ChoiceScript is a language for developing multiple-choice games.
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
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