A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Repository Index
55,140 visible repositories in the index
25–29 of 29 · Most stars
A framework for high-performance domain decomposition methods.
- c-plus-plus
- linear-algebra
- python
- fortran
⚡ Open-source software for deep learning-based digital pathology
- deep-learning
- machine-learning
- digital-pathology
- computational-pathology
The repository host gives no description.
The Configurable Math Library
- vector-math
- expression-template
- cplusplus-11
- graphics