Charalambos Mitropoulos (chamitro)

chamitro

Geek Repo

Github PK Tool:Github PK Tool

Charalambos Mitropoulos's repositories

Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:2Issues:0

hephaestus

A framework for testing compilers' type checkers

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:1Issues:0

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:PHPLicense:MITStargazers:0Issues:0Issues:0
Language:SolidityStargazers:0Issues:0Issues:0

solidity

Solidity, the Contract-Oriented Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

soltix

SOLTIX: Scalable automated framework for testing Solidity compilers.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0

web

BALab web site

Language:TeXStargazers:0Issues:0Issues:0