Spelling, grammar and style checking on LaTeX documents
- latex
- grammar-checker
- spell-check
- spell-checker
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
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.
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 simple plugin that allows running mypy from PyCharm and navigate between errors
- mypy
- pycharm
- python
- typing
Capacitor plugin for checking outdated Android WebView engines with native update prompts and runtime status events.