Pinned Repositories
protocol
Livepeer protocol
opium-protocol-v2
Smart contracts of Opium Protocol v2
awesome-MLSecOps
A curated list of MLSecOps tools, articles and other resources on security applied to Machine Learning and MLOps systems.
cloud-security-benchmarks
IaC/cloud scanners/DevSecOps tools playground
constant-sum-amm
constant-sum automated market maker implementation
crowdclick-client
Crowdsourced pay-per-click advertising marketplace DApp based on Ethereum.
crowdclick-escrow
crowdlink-client
Automated referral marketing marketplace DApp based on Ethereum.
golang-ethereum-auth
Ethereum-based ECDSA authentication designed for ease of use.
LeanGPT
Experiments with interactive theorem provers, LLMs and formal systems
RiccardoBiosas's Repositories
RiccardoBiosas/awesome-MLSecOps
A curated list of MLSecOps tools, articles and other resources on security applied to Machine Learning and MLOps systems.
RiccardoBiosas/LeanGPT
Experiments with interactive theorem provers, LLMs and formal systems
RiccardoBiosas/golang-ethereum-auth
Ethereum-based ECDSA authentication designed for ease of use.
RiccardoBiosas/constant-sum-amm
constant-sum automated market maker implementation
RiccardoBiosas/crowdclick-client
Crowdsourced pay-per-click advertising marketplace DApp based on Ethereum.
RiccardoBiosas/crowdlink-client
Automated referral marketing marketplace DApp based on Ethereum.
RiccardoBiosas/solidity-euler
Attempt at solving project euler's challenges with solidity.
RiccardoBiosas/arbitrum-lpt-bridge
A bridge to move LPT between Ethereum and Arbitrum
RiccardoBiosas/cloud-security-benchmarks
IaC/cloud scanners/DevSecOps tools playground
RiccardoBiosas/brownie-p0wned-contracts
RiccardoBiosas/codeql-circleci
RiccardoBiosas/compass-examples
Example apps and code snippets for Atlassian Compass
RiccardoBiosas/concurrent-generics
RiccardoBiosas/docker-livepeer
Base Livepeer Docker image
RiccardoBiosas/docker_whisperer
RiccardoBiosas/euler-foundry
RiccardoBiosas/facebook-scraper
OCR-based facebook scraper
RiccardoBiosas/facebook-scraper-typescript
OCR-based facebook scraper - typescript & puppeteer
RiccardoBiosas/ghas-permissions-agent
RiccardoBiosas/go-livepeer
Official Go implementation of the Livepeer protocol
RiccardoBiosas/LIPs
Livepeer Improvement Proposals
RiccardoBiosas/opium-protocol-v2
Smart contracts of Opium Protocol v2
RiccardoBiosas/opium-v2-sdk
RiccardoBiosas/portal
Internet Computer Developer Portal
RiccardoBiosas/protocol
Livepeer protocol
RiccardoBiosas/sherlock-foundry
RiccardoBiosas/slither-as-library
RiccardoBiosas/swarm-nextjs-template
RiccardoBiosas/uniswap-v4-hooks-playground
RiccardoBiosas/www-project-machine-learning-security-top-10
Machine Learning Security Top 10