Repository Index

71,372 visible repositories in the index

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–2 of 2 · Most stars

tlaplus / tlaplus

Java 3.2K 280

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

C++ 2.4K 488

A multi purpose IDE specialized in C/C++/Rust/Python/PHP and Node.js. Written in C++