CheckedC - C
Checked C Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by maki
Checker framework
Please see the Checker Framework manual. It appears in this repository (after you run `make -C checker/manual`): * checker/manual/manual.html * checker/manual/manual.pdf Prebuilt versions also appear on the web: * http://types.cs.
Rdl
Table of Contents Introduction Using RDL Supported versions of Ruby Installing RDL Loading RDL Disabling RDL Rails Preconditions and Postconditions Type Annotations RDL Types
Gulp check unused css
gulp-check-unused-css This tool ensures that all of your defined CSS classes are used in your HTML files, and vice versa. If your HTML uses any classes that you have not defined in your CSS files, or if there are css definit
Simplemde markdown editor - JavaScript
SimpleMDE - Markdown Editor A drop-in JavaScript textarea replacement for writing beautiful and understandable Markdown. The WYSIWYG-esque editor allows users who may be less experienced with Markdown to use familiar toolbar butt
Enforce - Python
Branch Status Master: Dev: Enforce.py Enforce.py is a Python 3.5+ library for integration testing and data validation through configurable and optional runt
GetOptionKit - PHP
GetOptionKit Code Quality Versions & Stats A powerful option parser toolkit for PHP, supporting type constraints, flag, multiple flag, multiple values and required value checking. GetOptionKit supports PHP5.3, wi
Syntastic - Vim script
, / \,,_ .'| ,{{| /}}}}/_.' _____________________________________________ }}}}` '{{' '. / \ {{{{{ _ ;, \
Flycheck - Emacs Lisp
http://www.flycheck.org Modern on-the-fly syntax checking extension for GNU Emacs. Try it! For a more gentle introduction read the Installation instructions and go through Quickstart guide. Please ask questions about F
Cane - Ruby
Cane Fails your build if code quality thresholds are not met. Discipline will set you free. Usage gem install cane cane --abc-glob '{lib,spec}/**/*.rb' --abc-max 15 Your main build task should run this, probab
Burrow - Go
Burrow - Kafka Consumer Lag Checking Burrow is a monitoring companion for Apache Kafka that provides consumer lag checking as a service without the need for specifying thresholds. It monitors committed offsets for all consu
Rootbeer - Java
RootBeer A tasty root checker library and sample app. We've scoured the internets for different methods of answering that age old question... Has this device got root? Root checks These are the current checks/tricks
PythonBuddy - Python
PythonBuddy ?️ ? Online Python 3.6 Programming with Live Pylint Syntax Checking! Demo: http://pythonbuddy.com Usage Fetch from repo: git clone https://github.com/ethanchewy/PythonBuddy.g
Prop types - JavaScript
prop-types Runtime type checking for React props and similar objects. You can use prop-types to document the intended types of properties passed to components. React (and potentially other libraries—see the checkPropTypes() refe
Yaspell - Go
yaspell Yaspell checks spelling of different texts with Yandex.Speller API. The tool is targeted to people, who works with texts and wants to get fast feedback about the quality. If you need to use API for your app, please, u
Typot - Python
typot typot detects the typos in your pull request, and fix it by just selecting the modification candidates. When you open the pull request, typot checks it and if there are typos, make review comments on it. If suitable
Select branch - JavaScript
select-branch A handy CLI tool for quickly checking out a local git branch. This exists so you don't have to keep copying & pasting the name of the branch you'd like to checkout when running $git branch Installa
Pyre check
Pyre Pyre is a performant type checker for python. Getting Started To install Pyre on your system run pip install pyre-check and you should be good to go! Run it on your project with pyre --source-directory .
Kconfig hardened check - Python
Kconfig hardened check Motivation There are plenty of Linux kernel hardening config options. A lot of them are not enabled by the major distros. We have to enable these options ourselves to make our systems more secure
Beebug - Python
beebug - A tool for checking exploitability Description beebug is a tool that can be used to verify if a program crash could be exploitable. This tool was presented the first time at r2con 2018 in Barcelona.
Leaked - Python
About Leaked? 2.1 Leaked? is A Checking tool for Hash codes, Passwords, and Emails leaked, using leakz module from Aidan Holland, which uses API from Aurelius Wendelken. Leaked? can work in any OS if they have Python 2 or 3 inst
Comment Spell Checker - Swift
Comment Spell Checker An Xcode Source Editor extension that runs spell check and auto correct on your code comments. Features Supports mutliple comments styles (eg. //, ///, /*...*/, /**...*/) Runs spel
JamSpell - C++
JamSpell JamSpell is a spell checking library with following features: accurate - it consider words surroundings (context) for better correction fast - near 5K words per second multi-language - it's written in C++ and
Textidote - Java
TeXtidote: a correction tool for LaTeX documents and other formats Have you ever thought of using a grammar checker on LaTeX files? If so, you probably know that the process is far from simple. Since LaTeX documents contain
Simplemde markdown editor - JavaScript
SimpleMDE - Markdown Editor A drop-in JavaScript textarea replacement for writing beautiful and understandable Markdown. The WYSIWYG-esque editor allows users who may be less experienced with Markdown to use familiar toolbar
Ndcrash - C
NDCrash NDCrash is a powerful crash reporting library for Android NDK applications. The author was inspired by PLCrashReporter and Google Breakpad. Note that this library is new and has a an experimental status. Key fe
Droid - Rust
Installation - Usage A command-line tool for checking Android OS version history written by Rust. Installation Install the droid binary: Homebrew % brew install wa
Pyspellchecker - Python
pyspellchecker Pure Python Spell Checking based on Peter Norvig's blog post on setting up a simple spell checking algorithm. It uses a Levenshtein Distance algorithm to find permutations within an edit distance of 2 fro
Zrtstr - Rust
zrtstr Command line application for checking WAV-files for identical channels, detecting faux-stereo files generated by some audio-editing software an
Vue simplemde - Vue
Vue-SimpleMDE Markdown Editor component for Vue.js. Support only vue2.x. Use Setup No longer support Vue1.x, you can modify to use Install npm install
Vue slot checker - JavaScript
vue-slot-checker vue-slot-checker provide functions like checking props. template div headerslot name="header" //header divslot
Cargo update - Rust
cargo-update A cargo subcommand for checking and applying updates to installed executables Documentation Manpage Installation Firstly, ensure you have
Dredd - Haskell
Dredd "I am the law!" ⸻Judge Dredd This is a GHC plugin that, during compilation, automatically builds a hedgehog-classes test suite for the type clas
CVE 2020 1350 - PowerShell
This Powershell Script is checking if your server is vulnerable for the CVE-2020-1350 Remote Code Execution flaw in the Windows DNS Service
MFASweep - PowerShell
MFASweep is a PowerShell script that attempts to log in to various Microsoft services using a provided set of credentials and will attempt to identify if MFA is enabled.
Is email disposable - Go
A REST API for checking if an e-mail address is disposable (a.k.a. throwaway).
D2HC RMVSNet
The official repository of the paper "Dense Hybrid Recurrent Multi-view Stereo Net with Dynamic Consistency Checking" (ECCV2020 Spotlight)
Unchained - Nim
Unchained is a fully type safe, compile time only units library. There is absolutely no performance loss over pure float based code (aside from insertion of possible conversion factors, but those would have to be written by hand otherwise of course).
Go map schema - Go
go-map-schema is a tiny library that's useful for comparing a map (usually from JSON) to a struct, and finding any fields that are missing or that have incompatible types.
Use color - TypeScript
The powerful color hook that all designers deserve. ✨ Parse and stringify that just works & ? Strict type checking at compile time
Cek ejaan - TypeScript
Cek Ejaan Figma Plugin Spell Checking for Bahasa Indonesia. This makes it easy to check the typo or spelling mistakes in your design. Install Figma Pl
SeptoCode 21
Septocode 21 Hello Everyone! ? Septocode 21 is a 21 days programming event for students to develop basic programming skills which will be helpful to
Corona Tracker react capstone - JavaScript
“Everyday life is like programming, I guess. If you love something you can put beauty into it.” - Lao Tzu Corona Tracker A SPA web application for che
Zod args - JavaScript
zod-args zod-args is the fastest way to throw together a simple CLI with TypeScript type checking. It uses zod for type inference and runtime validati
Health monitor rails - Ruby
health-monitor-rails This is a health monitoring Rails mountable plug-in, which checks various services (db, cache, sidekiq, redis, etc.). Mounting th