andrijasa

Pinned Repositories

manticore
Symbolic execution tool
Language:Python00
ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
Language:Go00
teether
Language:Python00
slither
Static Analyzer for Solidity
Language:Python00
BenchMARL
A collection of MARL benchmarks based on TorchRL
Language:Python00
env1_dev2
Language:Python00
JaxMARL
Multi-Agent Reinforcement Learning with JAX
Language:Python00
MARL-Papers
Paper list of multi-agent reinforcement learning (MARL)
00
pluto
Language:Solidity00
pymarl
Python Multi-Agent Reinforcement Learning framework
Language:Python00

andrijasa's Repositories

andrijasa/env1_dev2
Language:Python
andrijasa/JaxMARL
Multi-Agent Reinforcement Learning with JAX
andrijasa/BenchMARL
A collection of MARL benchmarks based on TorchRL
andrijasa/MARL-Papers
Paper list of multi-agent reinforcement learning (MARL)
andrijasa/pymarl
Python Multi-Agent Reinforcement Learning framework
andrijasa/slither
Static Analyzer for Solidity
andrijasa/ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
andrijasa/manticore
Symbolic execution tool
andrijasa/securify2
Securify v2.0
andrijasa/xfuzz_tool
Tool of xfuzz, machine learning guided cross-contract fuzzing
andrijasa/sFuzz
andrijasa/smart_contract_crawler
A smart contract crawler
andrijasa/pluto
andrijasa/teether
andrijasa/securify
[DEPRECATED] Security Scanner for Ethereum Smart Contracts