droidnautic

droidnautic's Stars

• KaTeX/KaTeX

  Fast math typesetting for the web.

  Language:JavaScript18.5k2831.6k1.2k

• sundowndev/phoneinfoga

  Information gathering framework for phone numbers

  Language:Go13.4k6794933.8k

• SFTtech/openage

  Free (as in freedom) open source clone of the Age of Empires II engine 🚀

  Language:Python12.8k3986961.1k

• official-stockfish/Stockfish

  A free and strong UCI chess engine

  Language:C++11.9k2549632.3k

• google/oss-fuzz

  OSS-Fuzz - continuous fuzzing for open source software.

  Language:Shell10.7k2562.4k2.3k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1825.6k1.5k

• secfigo/Awesome-Fuzzing

  A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.

  5.4k2259818

• livebook-dev/livebook

  Automate code & data workflows with interactive Elixir notebooks

  Language:Elixir5.1k75866437

• google/honggfuzz

  Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

  Language:C3.1k126255517

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2.8k62232191

• microsoft/AttackSurfaceAnalyzer

  Attack Surface Analyzer can help you analyze your operating system's security configuration for changes during software installation.

  Language:C#2.8k71331283

• elixir-nx/nx

  Multi-dimensional arrays (tensors) and numerical definitions for Elixir

  Language:Elixir2.7k60458199

• praetorian-inc/gokart

  A static analysis tool for securing Go code

  Language:Go2.2k2748110

• BinaryAnalysisPlatform/bap

  Binary Analysis Platform

  Language:OCaml2.1k93493273

• opencve/opencve

  CVE Alerting Platform

  Language:Python1.8k44309230

• jpantunes/awesome-cryptoeconomics

  An awesome curated list of Cryptoeconomic research and learning materials

  1.7k1131305

• cmu-sei/pharos

  Automated static analysis tools for binary programs

  Language:C++1.6k79225192

• elixir-nx/axon

  Nx-powered Neural Networks

  Language:Elixir1.6k46240105

• algorand/go-algorand

  Algorand's official implementation in Go.

  Language:Go1.4k761.6k479

• Threagile/threagile

  Agile Threat Modeling Toolkit

  Language:Go6333350128

• exercism/elixir

  Exercism exercises in Elixir.

  Language:Elixir62832311398

• nexB/vulnerablecode

  A free and open vulnerabilities database and the packages they impact. And the tools to aggregate and correlate these vulnerabilities. Sponsored by NLnet https://nlnet.nl/project/vulnerabilitydatabase/ for https://www.aboutcode.org/ Chat at https://gitter.im/aboutcode-org/vulnerablecode Docs at https://vulnerablecode.readthedocs.org/

  Language:Python51122933188

• mcandre/linters

  a community wiki for improving code quality

  3422010531

• DSecurity/efiSeek

  Ghidra analyzer for UEFI firmware.

  Language:Java32116920

• LeoColomb/perfectmotherfuckingwebsite

  🖕 And it’s really more fucking perfect than the last guy’s.

  Language:HTML2595033

• CIFASIS/QuickFuzz

  An experimental grammar fuzzer in Haskell using QuickCheck

  Language:Haskell199244945

• jthuraisamy/ioctlpus

  Language:C#1077041

• Ben-PH/spacemacs-cheatsheet

  36435

• AlgoRealm/algorealm

  Claim the 👑 Crown and the 🪄 Sceptre of Algorand Realm

  Language:Python18322

• Simie/OpenAOE

  An open-source implementation of Age of Empires 2 in C# and .NET (very early days)

  Language:C#14234