quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
AI summary
TLA-based spec language
A specification language with type checking and tooling based on temporal logic of actions
- stars
- 834
- forks
- 37
- watching
- 23
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Dependent type language
A systems programming language with first-class types, designed to support dependent records and types.
Scripting language
A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming.
Typed scripting language
A compiled, statically typed language for Python-like programming with memory and type safety guarantees.
teal-language/tl2.2K
Lua compiler
A compiler and build tool for a typed dialect of Lua.
jfecher/ante1.9K
Systems language
A systems language focused on refinement types and lifetime inference
TypeScript specs
A collection of official and unofficial specification documents for the TypeScript programming language.
Type system formalism
A project that formalizes refinement types and dependent types in the Agda language
Scripting language
An interpreted language with strong typing and functional programming features for scripting and experimenting
Programming language
A programming language and proof assistant built on top of Rust.
Contract compiler
Enables ASC development with native TypeScript syntax and tooling support
Scripting language
A Common Lisp scripting language with built-in libraries and utilities for common tasks.
Systems programming language
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.
API spec
A specification proposal for designing a RESTful API
Scripting language
A language designed to compile directly to JavaScript with a focus on simplicity and ease of use.
marpple/fxts940
Concurrent utility library
A functional programming library providing utilities for working with data and concurrency in TypeScript/JavaScript.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions quint.
