Pinned Repositories
bounce_email
Fork of Agris Ameriks' bounce-email
data
The data behind the Datenanfragen.de project. This contains a directory of contact information and privacy-related data on companies under the scope of the EU GDPR, a directory of supervisory authorities for privacy concerns, a collection of templates for GDPR requests and a list of suggested companies to send access requests to.
digitales-heizhaus
engsummit-workadventure-map
firecracker-demo
A demo running 4000 Firecracker microVMs.
incredible
The Incredible Proof Machine
kibicara
Kibicara distributes text messages between different social media and messenger platforms
klee
KLEE Symbolic Execution Engine
lichess_suicide
Suicide-Linux inspired Python program that deletes a random file on your PC every time you blunder on lichess.org
msg-audit-tool
An audit tool for software projects based on the ISO/IEC 25010 specification
acipm's Repositories
acipm/kibicara
Kibicara distributes text messages between different social media and messenger platforms
acipm/digitales-heizhaus
acipm/bounce_email
Fork of Agris Ameriks' bounce-email
acipm/data
The data behind the Datenanfragen.de project. This contains a directory of contact information and privacy-related data on companies under the scope of the EU GDPR, a directory of supervisory authorities for privacy concerns, a collection of templates for GDPR requests and a list of suggested companies to send access requests to.
acipm/engsummit-workadventure-map
acipm/firecracker-demo
A demo running 4000 Firecracker microVMs.
acipm/incredible
The Incredible Proof Machine
acipm/klee
KLEE Symbolic Execution Engine
acipm/lichess_suicide
Suicide-Linux inspired Python program that deletes a random file on your PC every time you blunder on lichess.org
acipm/msg-audit-tool
An audit tool for software projects based on the ISO/IEC 25010 specification
acipm/rpmlint
Tool for checking common errors in rpm packages
acipm/samplemod
acipm/test-netlify
acipm/Tox-DHTNodes-Updater
Run this to fetch the running servers from http://wiki.tox.im/Servers into your local file for Toxic, etc.