The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
Repository Index
71,372 visible repositories in the index
1–6 of 6 · Most stars
A tacit array programming language
- apl
- array-programming
- rust
- tacit
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
The APL programming language (a subset thereof) compiling to Common Lisp.
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir