Repository Index

Python sample codes and textbook for robotics algorithms.

• python
• robotics
• algorithm
• path-planning

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

• bayesian-methods
• pymc
• mathematical-analysis
• jupyter-notebook

The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWASP Mobile Security Weakness Enumeration (MASWE) weaknesses, which are in alignment with the OWASP MASVS.

• mobile-app
• pentesting
• android-application
• ios-app

Code accompanying the book "Machine Learning for Hackers"

XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions

• javascript
• textbook
• source-academy
• sicp

Software Foundations in Idris

• idris
• theorem-proving
• book
• computer-science

WIP web app version of The Shortest Ember Book

• hacktoberfest
• ember