Pinned Repositories
cdcl-sat-solver
Implementation of a simple CDCL SAT solver with state of the art backjumping and learning strategy.
cfmms-rs
A simple library to get all pairs from any Dex and sync reserves.
corso-pdc-academy
Smart contract per corso PDC Academy Ottobre 2021
CryptoHFT
An automatic high frequency trading bot for cryptocurrencies
ecivini.github.io
Source code of emanuelecivini.com
escrow
Escrow smart contract
gas-bad
GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
LeadingZeroAddressGenerator
A script that generates Ethereum addresses with an arbitrary number of leading zeroes
mlkem
ML-KEM implementation based on the FIPS 203 public draft
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
ecivini's Repositories
ecivini/gas-bad
GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
ecivini/CryptoHFT
An automatic high frequency trading bot for cryptocurrencies
ecivini/LeadingZeroAddressGenerator
A script that generates Ethereum addresses with an arbitrary number of leading zeroes
ecivini/Programmazione1
Esercizi e note del corso Programmazione
ecivini/cdcl-sat-solver
Implementation of a simple CDCL SAT solver with state of the art backjumping and learning strategy.
ecivini/cfmms-rs
A simple library to get all pairs from any Dex and sync reserves.
ecivini/corso-pdc-academy
Smart contract per corso PDC Academy Ottobre 2021
ecivini/ecivini.github.io
Source code of emanuelecivini.com
ecivini/escrow
Escrow smart contract
ecivini/EthereumFaucet
A basic Ethereum faucet implemented for the ICT Days 2021 at the University of Trento.
ecivini/gitignore
A collection of useful .gitignore templates
ecivini/LinguaggiFormaliCompilatori-UniTN-2021
Progetto per il corso Linguaggi Formali e Compilatori dell'UniversitĂ degli studi di Trento, AA 2021-2022
ecivini/mlkem
ML-KEM implementation based on the FIPS 203 public draft
ecivini/picoCTF2018-Writeups
Writeups for the picoCTF2018 challenges
ecivini/fiscozen-automation
ecivini/go-ethereum-aws-kms-tx-signer
Ethereum transaction signer using AWS KMS keys. An extension for the go ethereum client library.
ecivini/pysmt
pySMT: A library for SMT formulae manipulation and solving
ecivini/recruitment-sw-micro-project
Microcontroller project for Eagle recruitment
ecivini/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
ecivini/rust-api-template
REST API template written in Rust
ecivini/schnorr-id
Schnorr identification protocol over Curve25519
ecivini/SistemiOperativiLab
Esercizi del laboratorio del corso Sistemi Operativi presso l'UniversitĂ degli studi di Trento
ecivini/The-Quest
Join the Polygon Quest challenge and showcase your skills in just 30 minutes! Use Polygon solutions like POS, zkEVM, and ID to complete the challenge and submit your code to the repo. Build a smart contract deployment or a basic dApp and show off your expertise to the Web3 community.