Create your own GitHub profile
ocaml prototype for verifying SFI
Forked from airbus-seclab/bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.
Forked from rdoeffinger/Dictionary
"QuickDic" offline Dictionary App for Android. Provided downloadable dictionaries are based on Wiktionaries but can also be created from other sources (see DictionaryPC). Remember to use --recursiv…
Forked from internetarchive/openlibrary
One webpage for every book ever published!
Forked from julian-klode/dns66
DNS-based Host Blocker (and lightweight ad blocker) for Android
Forked from LonamiWebs/Stringlate
Android application to help in strings.xml translation