JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Repository Index
47,133 repositories indexed
25–48 of 68 · Most stars
Nagios check_postgres plugin for checking status of PostgreSQL databases
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
A high-performance static analysis toolkit for Ruby
- ruby
- static-analysis
- type-checking
Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
A simple plugin that allows running mypy from PyCharm and navigate between errors
- mypy
- pycharm
- python
- typing
The modern spam protection. Protects your forms from spam by simply checking the content. Open source, Free to use, Accessible, and Self-Hosted.
- mosparo
- spam-detection
- spam-protection
- accessible
An Elixir tool for checking safety of database migrations.
- elixir
- static-analysis
- code-analysis
- credo
JavaScript/Node.js utility. Returns `true` if the value is a number or string number. Useful for checking regex match results, user input, parsed strings, etc.
- number
- is
- isnan
- javascript
A Rails plugin which provides a health checking and monitoring API of various services and application aspects.
Runtime type checking for JS with Hindley Milner signatures
- hindley-milner
- type-checking
- functional-programming
- invariant
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
- mcp
- data-sources
- ai
- awesome-list
TranslatedZaoba (早八, "8 AM") · Automatically completes daily check-ins for AI tools (WorkBuddy / Doubao Work / Zhipu) every day at 8:30, free and open source, with a local visual console
- automation
- cdp
- electron
- launchd
Flake8 Type Annotation Checking
- python
- python3
- flake8-plugin
- type-annotations
A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking
- graphql-schema
- dotnet-cli
- fable
- graphql
Xcode extension for spell checking and auto-correcting code comments.
- xcode
- extension
- comments
- spelling
A tool for checking, sanitizing and minimizing GTFS feeds.
- gtfs
- validation
- minimization
- tidy
An object-oriented option parser library for PHP, which supports type constraints, flag, multiple flag, multiple values, required value checking
Re-apply type annotations from .pyi stubs to your codebase.
- python
- python3
- typing
- type-checking
Flake8 plugin for managing type-checking imports & forward references.
- flake8-plugin
- flake8
- typing
- flake8-extensions
Administration system for Hackathons :chart_with_upwards_trend: !
- hackathon
- admin-dashboard
- administration
- checkin