Pinned Repositories
babel
🐠 Babel is a compiler for writing next generation JavaScript.
codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
cosmwasm-security-dojo
ctf-writeups
Collection of personal CTF challenges write-ups
damn-vulnerable-defi-solutions
Solutions for Damn Vulnerable DeFi
dellalibera.github.io
Personal Blog
gym-backgammon
Backgammon OpenAI Gym
td-gammon
TD-Gammon implementation
thymio-cnn
Real robot place recognition using Convolutional Neural Network (CNN) and ROS
titlextractor
Extract <title> tag from HTML page
dellalibera's Repositories
dellalibera/td-gammon
TD-Gammon implementation
dellalibera/gym-backgammon
Backgammon OpenAI Gym
dellalibera/titlextractor
Extract <title> tag from HTML page
dellalibera/ctf-writeups
Collection of personal CTF challenges write-ups
dellalibera/dellalibera.github.io
Personal Blog
dellalibera/thymio-cnn
Real robot place recognition using Convolutional Neural Network (CNN) and ROS
dellalibera/babel
🐠 Babel is a compiler for writing next generation JavaScript.
dellalibera/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
dellalibera/cosmwasm-security-dojo
dellalibera/damn-vulnerable-defi-solutions
Solutions for Damn Vulnerable DeFi
dellalibera/dellalibera
My personal repository
dellalibera/designPatterns
Software Engineering - Assignment 08 - Design Patterns
dellalibera/evm-puzzles-solutions
A collection of EVM puzzles
dellalibera/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
dellalibera/jelly
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
dellalibera/js-callgraph
Construct approximate static call graph for JavaScript & Typescript
dellalibera/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
dellalibera/offensive_vyper-solutions
Solutions for Vyper Based Capture The Flag Challenges
dellalibera/securify2
Securify v2.0
dellalibera/surya
A set of utilities for exploring Solidity contracts