|
|
Python |
69 |
Fast NordVPN Checker with threading |
Apr 17, 2023 |
|
|
Java |
2 |
✅ Resource checker for the checker framework. |
Dec 24, 2020 |
|
|
C |
2 |
Threading framework for AmigaOS |
Dec 17, 2015 |
|
|
Python |
33 |
👻 Fast Netflix account checker with threading |
Jun 01, 2022 |
|
|
Java |
4 |
Demos for the Checker Framework |
Apr 23, 2022 |
|
|
Java |
3 |
A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository. |
Dec 22, 2021 |
|
|
Ruby |
1063 |
Static type checker for Ruby |
Sep 13, 2022 |
|
|
Python |
8362 |
Static type checker for Python |
Sep 01, 2022 |
|
|
Python |
89 |
Static security checker for Dockerfiles |
Jul 23, 2022 |
|
|
CMake |
2 |
A simple threading framework |
Jan 18, 2022 |
|
|
Python |
13 |
Static migration conflict checker for Django |
Mar 15, 2023 |
|
|
Python |
3 |
A static type checker for Python |
Jan 28, 2023 |
|
|
Java |
2 |
Reads stub files for the Checker Framework |
Nov 16, 2021 |
|
|
JavaScript |
4 |
Validate static HTML with the Nu Html Checker |
Aug 27, 2020 |
|
|
JavaScript |
2061 |
An advanced static type checker |
May 06, 2023 |
|
|
C# |
2 |
Static Checker for Concurrency Errors in C# |
Jul 16, 2022 |
|
|
Python |
17 |
yet another static checker for Python code |
Jul 26, 2022 |
|
|
Python |
215 |
Mypy static type checker plugin for Pytest |
Oct 15, 2022 |
|
|
Go |
4 |
Static checker for regular expressions in Go |
Dec 04, 2022 |
|
|
Shell |
54 |
Static code analysis checker for golang 🐙 |
Mar 28, 2023 |
|
|
JavaScript |
2 |
Flow: A Static Type Checker for JavaScript |
Mar 23, 2023 |
|
|
C++ |
688 |
A LLVM-based static analysis framework. |
Aug 14, 2022 |
|
|
C++ |
2 |
A LLVM-based static analysis framework. |
Apr 01, 2022 |
|
|
Swift |
25 |
Examples for Pow, the effects framework for SwiftUI. |
Dec 01, 2022 |
|
|
Python |
3 |
Simple Discord vanity checker with fancy UI, threading and proxy support |
May 10, 2023 |
|
|
TypeScript |
2 |
Checker Framework for VS Code |
Jan 24, 2022 |
|
|
C |
223 |
A static analysis file format checker. |
Oct 15, 2022 |
|
|
Lua |
6 |
yet another lua static type checker |
Aug 27, 2022 |
|
|
C++ |
2 |
demonstrators of different threading technologies for CMS framework |
Mar 01, 2022 |
|
|
Go |
950 |
:octocat: Static checker for GitHub Actions workflow files |
Aug 21, 2022 |
|
|
C++ |
538 |
Qt-oriented static code analyzer based on the Clang framework |
Oct 02, 2022 |
|
|
Rust |
5 |
Static blog generator based on Writium Framework. |
Jan 28, 2018 |
|
|
Groovy |
9 |
Gradle plugin to use the Checker Framework for Java. |
Mar 14, 2023 |
|
|
Groovy |
48 |
Gradle plugin to use the Checker Framework for Java |
May 17, 2023 |
|
|
JavaScript |
4 |
Static AST checker for a11y rules on JSX elements. |
Aug 08, 2020 |
|
|
JavaScript |
2894 |
Static AST checker for a11y rules on JSX elements. |
Aug 25, 2022 |
|
|
None |
2 |
Static AST checker for a11y rules on JSX elements. |
Jun 20, 2022 |
|
|
Haskell |
3 |
Style checker and static analyser for TokTok C projects |
Mar 18, 2022 |
|
|
JavaScript |
39 |
Practical code examples for Facebook Flow static type checker |
Jan 28, 2023 |
|
|
Java |
3 |
Two string checker for anagrams (with hardcore static analysis) |
May 10, 2023 |
|
|
None |
2 |
The password checker based on GPT3 |
Jul 24, 2022 |
|
|
PHP |
5 |
Slim Framework - Prerequisite Checker |
Mar 12, 2022 |
|
|
Python |
2 |
Checker Framework Live Demo |
Mar 02, 2022 |
|
|
Java |
3 |
Checker Framework Language Server |
Aug 28, 2023 |
|
|
JavaScript |
7 |
The Duduf After Effects Framework Expression Library |
Jan 20, 2023 |
|
|
Ruby |
2 |
Pronto runner for Sorbet, a static type checker for Ruby |
Feb 01, 2021 |
|
|
Python |
7 |
Static configuration extractor for the Karton framework |
Nov 03, 2022 |
|
|
JavaScript |
276 |
The Jamstack static site framework for Svelte |
May 04, 2023 |
|
|
OCaml |
2 |
The goblint static analysis framework |
Jul 07, 2021 |
|
|
Ruby |
2 |
The Lightweight Static Content framework |
Jun 18, 2018 |