quint
TLA-based spec language
A specification language with type checking and tooling based on temporal logic of actions
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
827 stars
23 watching
34 forks
Language: TypeScript
last commit: 7 days ago
Linked from 1 awesome list
apalachelanguagequintspecificationtlaplus
cosmos/awesome-cosmosRelated projects:
| Repository | Description | Stars |
|---|---|---|
 pikelet-lang/pikelet | A systems programming language with first-class types, designed to support dependent records and types. | 610 |
 thakeenathees/pocketlang | A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming. | 1,520 |
 therealmichaelwang/nohopython | A compiled, statically typed language for Python-like programming with memory and type safety guarantees. | 12 |
 teal-language/tl | A compiler for a typed dialect of Lua that provides type checking and compilation capabilities | 2,161 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,908 |
 swyxio/ts-spec | A collection of official and unofficial specification documents for the TypeScript programming language. | 1 |
 0xd34df00d/refinedt | A project that formalizes refinement types and dependent types in the Agda language | 58 |
 larsaugustin/starship | An interpreted language with strong typing and functional programming features for scripting and experimenting | 28 |
 andrew-johnson-4/lsts | A programming language and proof assistant built around type theory and lambda calculus. | 114 |
 algorandfoundation/tealscript | Enables ASC development with native TypeScript syntax and tooling support | 51 |
 ciel-lang/ciel | A Common Lisp scripting language with built-in libraries and utilities for common tasks. | 346 |
 superstar64/aith | A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions. | 65 |
 lambda2/rapis | A specification proposal for designing a RESTful API | 55 |
 soegaard/urlang | A language designed to compile directly to JavaScript with a focus on simplicity and ease of use. | 302 |
 marpple/fxts | A functional programming library providing utilities for working with data and concurrency in TypeScript/JavaScript. | 936 |