Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
7 daysStars17.6k24h gain+46Score23.3
Search
Find trending repositories by name or description.
30 results for “checker”
RankRepository7 daysStars24h gainScore
Rust port of the TypeScript 7 type checker
7 daysStars3.1k24h gain+28Score17.0
Style and Grammar Checker for 25+ Languages
7 daysStars15.2k24h gain+5Score2.1
Source code spell checker
7 daysStars4.2k24h gain+1Score0.7
An unholy spell checker for code
7 daysStars92824h gain+1Score0.6
blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.
7 daysStars92724h gain+1Score0.5
A fast, powerful type checker designed for Ruby
7 daysStars3.8k24h gain0Score0.1
Static Type Checker for Python
7 daysStars15.7k24h gain0Score0.0
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
7 daysStars46324h gain0Score0.0
Torrent reader, writer, and hash checker for node.
7 daysStars19624h gain0Score0.0
McCabe complexity checker for Python
7 daysStars67924h gain-Score0.0
A JavaScript checker and optimizer.
7 daysStars7.7k24h gain-Score0.0
Compares two source sets and determines the appropriate semantic versioning to apply.
7 daysStars43724h gain-Score0.0
A Visual Studio spell checker editor extension that checks the spelling of comments, strings, and plain text as you type. Supports configuration and various languages.
7 daysStars38324h gain-Score0.0
A Node.js style checker and lint tool for Markdown/CommonMark files.
7 daysStars6.2k24h gain-Score0.0
The efficient SMT-based context-bounded model checker (ESBMC)
7 daysStars49824h gain-Score0.0
Pluggable type-checking for Java
7 daysStars1.1k24h gain-Score0.0
A GLSL type checker, code formatter, and minifier for WebGL
7 daysStars44724h gain-Score0.0
The main development version of the PRISM model checker.
7 daysStars20024h gain-Score0.0
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
7 daysStars3.2k24h gain+4Score0.0
Go security checker
7 daysStars9k24h gain-Score0.0
A Modern Probabilistic Model Checker
7 daysStars17724h gain-Score0.0
Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD
7 daysStars4k24h gain-Score0.0
Fast website link checker in Go
7 daysStars2.6k24h gain-Score0.0
An easy to use open-source, multithreaded Proxy Checker. Allows you to quickly check HTTP and SOCKS proxies in a user friendly GUI, for Windows, Mac OS, Linux.
7 daysStars19224h gain-Score0.0
The problem data (Test case generator, judge's solution, task, ...) of Library Checker
7 daysStars65224h gain-Score0.0
Silq quantum programming language type checker, compiler, and experimental interpreter.
7 daysStars65024h gain-Score0.0
Extract NPM package licenses. Enhanced and updated fork of Dav Glass' original (but abandoned) license-checker.
7 daysStars20024h gain-Score0.0
IBM Equal Access Accessibility Checker contains tools to automate accessibility checking from a browser or in a continuous development/build environment
7 daysStars75324h gain-Score0.0
Unbearably fast near-real-time pure-Python runtime-static type-checker.
7 daysStars3.5k24h gain+1Score0.0