quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Licencia y mantenimiento
Apache-2.0 es una licencia permisiva: uso comercial libre con atribución.
Último cambio de código hace 6 días.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  tc39/proposalsTracking ECMAScript Proposals | ★ 19.2k | Activo |
| 2 |  p-org/PThe P programming language. | ★ 3.7k | Activo |
| 3 |  kdl-org/kdlthe kdl document language specifications | ★ 1.6k | Activo |
| 4 |  golang/goThe Go programming language | ★ 139.3k | Activo |
| 5 |  microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output. | ★ 111.5k | Activo |
| 6 |  argotorg/soliditySolidity, the Smart Contract Programming Language | ★ 25.8k | Activo |
| 7 |  ruby/rubyThe Ruby Programming Language | ★ 23.8k | Activo |
| 8 |  wren-lang/wrenThe Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. | ★ 8.1k | Menos activo |