From 567c1e12456d9243f8237d5fd371fab12c7845f9 Mon Sep 17 00:00:00 2001
From: "sengxay.litd" <sengxay.litd@gmail.com>
Date: Wed, 16 Oct 2019 19:53:36 +0700
Subject: [PATCH] Added Security category and Z3 to scientific category

---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index ded1427..7bebdb4 100644
--- a/README.md
+++ b/README.md
@@ -967,6 +967,7 @@ Inspired by [awesome-php](https://github.com/ziadoz/awesome-php).
 * [SymPy](https://github.com/sympy/sympy) - A Python library for symbolic mathematics.
 * [Zipline](https://github.com/quantopian/zipline) - A Pythonic algorithmic trading library.
 * [SimPy](https://bitbucket.org/simpy/simpy) -  A process-based discrete-event simulation framework.
+* [Z3](https://github.com/Z3Prover/z3) - A theorem prover
 
 ## Search
 
@@ -978,6 +979,13 @@ Inspired by [awesome-php](https://github.com/ziadoz/awesome-php).
 * [pysolr](https://github.com/django-haystack/pysolr) - A lightweight Python wrapper for [Apache Solr](https://lucene.apache.org/solr/).
 * [whoosh](http://whoosh.readthedocs.io/en/latest/) - A fast, pure Python search engine library.
 
+## Security
+
+*Libraries for developing exploit
+
+* [Pwntools](https://github.com/Gallopsled/pwntools) - Framework for writing exploits.
+* [StegCracker](https://github.com/Paradoxis/StegCracker) - Steganography brute-force utility to uncover hidden data inside files.
+
 ## Serialization
 
 *Libraries for serializing complex data types*
-- 
GitLab