Charalambos Mitropoulos's repositories
hephaestus
A framework for testing compilers' type checkers
SecLists
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, sensitive data patterns, fuzzing payloads, web shells, and many more.
Language:PHPMIT000
Language:Solidity000
solidity
Solidity, the Contract-Oriented Programming Language
Language:C++GPL-3.0000
Language:Python000
web
BALab web site
Language:TeX000