Matlab OctaveThis repository contains algorithms written in MATLAB/Octave. Developing algorithms in the MATLAB environment empowers you to explore and refine ideas, and enables you test and verify your algorithm.
Stars: ✭ 180 (-88.88%)
Mutual labels: algorithms, mit-license
jayhornStatic checker for Java
Stars: ✭ 54 (-96.66%)
Mutual labels: verification, model-checking
specificaBasic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Stars: ✭ 19 (-98.83%)
Mutual labels: specifications, mit-license
kleverRead-only mirror of the Klever Git repository
Stars: ✭ 18 (-98.89%)
Mutual labels: verification, model-checking
ConcuerrorConcuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (-82.88%)
Mutual labels: verification, model-checking
Software Quality WikiSoftware Quality Wiki
Stars: ✭ 1,991 (+23.05%)
Mutual labels: verification, model-checking
kaniKani Rust Verifier
Stars: ✭ 229 (-85.85%)
Mutual labels: verification, model-checking
Vscode TlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 152 (-90.61%)
Mutual labels: verification, model-checking
Tool listsLinks to tools by subject
Stars: ✭ 270 (-83.31%)
Mutual labels: verification, model-checking
SeahornSeaHorn Verification Framework
Stars: ✭ 270 (-83.31%)
Mutual labels: verification, model-checking
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (-86.84%)
Mutual labels: verification, model-checking
Hugo PapermodA fast, clean, responsive Hugo theme
Stars: ✭ 1,202 (-25.71%)
Mutual labels: mit-license, high-performance
ExprtkC++ Mathematical Expression Parsing And Evaluation Library
Stars: ✭ 301 (-81.4%)
Mutual labels: mit-license, high-performance
Hacl StarHACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (-15.95%)
Mutual labels: high-performance, verification
Luban iosWiki
Stars: ✭ 104 (-93.57%)
Mutual labels: high-performance
HighsLinear optimization software
Stars: ✭ 107 (-93.39%)
Mutual labels: high-performance
Verifyedittext带下划线的验证码输入框
Stars: ✭ 103 (-93.63%)
Mutual labels: verification
JavaAll Algorithms implemented in Java
Stars: ✭ 42,893 (+2550.99%)
Mutual labels: algorithms
Easyiterator🏃 Iterators made easy! Zero cost abstractions for designing and using C++ iterators.
Stars: ✭ 107 (-93.39%)
Mutual labels: algorithms