iambrosie Goto Github PK

acme-tiny

A tiny script to issue and renew TLS certs from Let's Encrypt

algo

1-click IPSEC VPN in the Cloud

aslrbypass-poc

two phase, aslr bypass poc for linux

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

awesome-software-security

a collection of software security resources.

bitcoin

Bitcoin Core integration/staging tree

cppcoreguidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

cppkoans

Inspired by RubyKoans and JavaScript-Koans, this is an attemt to write such koans for C/C++.

dotfiles

Config files.

fmicryptoseminar

Slides

functional-programming

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

gopl.io-solutions

My solutions for the exercises proposed in The Go Programming Language book

grail-plus

Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.

htcap

htcap is a web application scanner able to crawl single page application (SPA) in a recursive manner by intercepting ajax calls and DOM changes.

iambrosie.github.io

Build a Jekyll blog in minutes, without touching the command line.

insecureprogramming

mirror of gera's insecure programming examples | http://community.coresecurity.com/~gera/InsecureProgramming/

learn-you-a-haskell

“Learn You a Haskell for Great Good!” by Miran Lipovača

libsodium

A modern and easy-to-use crypto library.

linux

Linux kernel source tree

mariana-trench

Our security focused static analysis tool for Android and Java applications.

mpris-ctl

Basic mpris player control for linux command line

nmap-intro

an introduction to nmap

owasp-mstg

The Mobile Security Testing Guide (MSTG) is a comprehensive manual for mobile app security development, testing and reverse engineering.

pathaudit

Small python utility which allows one to audit a system path

pdfkit

A JavaScript PDF generation library for Node and the browser

phan

Static analyzer for PHP

plt

A path to Programming Language Theory enlightenment

public_drown_scanner

pysmt

pySMT: A library for SMT formulae manipulation and solving

python-binary-instrumenter

An example of how to do static assembly instrumentation with Python.