wysiib

ai_script

language-b-eventb

language-jack

language-tla-pluscal

linter-languagetool

Integration of Languagetool into the Atom text editor.

linter-prolog

plspec

wysiib/linter-languagetool

Integration of Languagetool into the Atom text editor.

wysiib/plspec

wysiib/linter-prolog

wysiib/ai_script

wysiib/language-tla-pluscal

wysiib/language-b-eventb

wysiib/language-jack

wysiib/clpstr

wysiib/abz2020-case-study-in-c-public

wysiib/automaplon

wysiib/awesome-appsec

A curated list of resources for learning about application security

wysiib/awesome-cold-showers

For when people get too hyped up about things

wysiib/coursera-applied-data-science-with-python

wysiib/dostackbufferoverflowgood

wysiib/eboc

wysiib/hotwax

Script to provision a curated set of pentesting tools into a Kali (supported) box.

wysiib/IC3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

wysiib/infinite_domain_solver

wysiib/lab

The Uberlab provides various tutorials - written by you! - on how to run software and tools on Uberspace 7.

wysiib/language-smt-lib

wysiib/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

wysiib/ProverEvaluationPlugin

Plugin for the Rodin Platform that tries out the available provers on all available proof obligations. Used to compare different provers.

wysiib/RodinAxiomContradictionPOPlugin

wysiib/RodinMetaPredicatesPlugin