Sebastian Krings's repositories
linter-languagetool
Integration of Languagetool into the Atom text editor.
Language:C000
Language:Gnuplot000
awesome-appsec
A curated list of resources for learning about application security
awesome-cold-showers
For when people get too hyped up about things
NOASSERTION000
Language:Prolog000
Language:RacketGPL-3.0000
hotwax
Script to provision a curated set of pentesting tools into a Kali (supported) box.
Language:PythonMIT000
IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
NOASSERTION000
Language:PrologMIT000
Language:CoffeeScriptMIT000
ProverEvaluationPlugin
Plugin for the Rodin Platform that tries out the available provers on all available proof obligations. Used to compare different provers.
Language:Java000