ravenerzz's repositories
2023-10-badger-fv
Badger eBTC Audit + Certora Formal Verification Competition
audits-portfolio
Shieldify's public audits portfolio
CheatSheetSeries
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
core
:house_with_garden: Open source home automation that puts local control and privacy first.
dolomite-margin-modules
Live testing against the DolomiteMargin instance on all deployed networks for adding new modules.
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
json-everything
System.Text.Json-based support for all of your JSON needs.
lm-evaluation-harness
A framework for few-shot evaluation of language models.
modflow6
USGS Modular Hydrologic Model
ModSecurity
It has a robust event-based programming language which provides protection from a range of attacks against web applications and allows for HTTP traffic monitoring, logging and real-time analysis. With over 10,000 deployments world-wide, ModSecurity is the most widely deployed WAF in existence.
PHP-CS-Fixer
A tool to automatically fix PHP Coding Standards issues
portfolio
George's smart contract security review reports
public-fuzzing-campaigns-list
A list of public fuzzing campaigns
Slimefun4
Slimefun 4 - A unique Spigot/Paper plugin that looks and feels like a modpack. We've been giving you backpacks, jetpacks, reactors and much more since 2013.
strats
Home of Astrolab strategies
Vote-Flywheel
Smart contract for the Vote-Flywheel part of Paladin Tokenomics
wrapped-fcash
ERC20 and ERC4626 compatible wrapper for Notional fCash
yolov9
Implementation of paper - YOLOv9: Learning What You Want to Learn Using Programmable Gradient Information