-
tddnnf-testbench Public
Tools and scripts used in my Master's thesis project
SMT UpdatedNov 8, 2025 -
tddnnf Public
Forked from MaxMichelutti/TheoryConsistentDecisionDiagramsPython MIT License UpdatedNov 5, 2025 -
-
omsat-nra-testbench Public
Tool for benchmarking and testing Optimization Modulo Theory (OMT) solvers
SMT MIT License UpdatedSep 9, 2025 -
certora-tutorials-code Public
Forked from Certora/tutorials-codeCertora tutorials
Solidity MIT License UpdatedAug 17, 2025 -
certificate-authority Public
IdenCA - A Certificate Authorty for identities. Univerisity project for the course "Advanced Programming of Cryptographic Methods"
JavaScript UpdatedJul 4, 2025 -
hevm Public
Forked from argotorg/hevmsymbolic EVM evaluator
Haskell GNU Affero General Public License v3.0 UpdatedDec 26, 2024 -
-
cdcl-sat-solver Public
Implementation of a simple CDCL SAT solver with state of the art backjumping and learning strategy.
C++ MIT License UpdatedSep 6, 2024 -
-
reth Public
Forked from paradigmxyz/rethModular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Rust Apache License 2.0 UpdatedAug 9, 2024 -
schnorr-id Public
Schnorr identification protocol over Curve25519
Rust MIT License UpdatedJul 19, 2024 -
gas-bad Public
GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
-
go-ethereum-aws-kms-tx-signer Public
Forked from matelang/go-ethereum-aws-kms-tx-signerEthereum transaction signer using AWS KMS keys. An extension for the go ethereum client library.
Go MIT License UpdatedMay 10, 2024 -
-
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedMar 14, 2024 -
cfmms-rs Public
Forked from 0xKitsune/cfmms-rsA simple library to get all pairs from any Dex and sync reserves.
Rust UpdatedMar 10, 2024 -
mlkem Public
ML-KEM implementation based on the FIPS 203 public draft
Rust MIT License UpdatedFeb 12, 2024 -
recruitment-sw-micro-project Public
Microcontroller project for Eagle recruitment
C UpdatedOct 2, 2023 -
The-Quest Public
Forked from Polygon-Advocates/The-QuestJoin 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…
JavaScript UpdatedMay 12, 2023 -
LeadingZeroAddressGenerator Public
A script that generates Ethereum addresses with an arbitrary number of leading zeroes
-
Progetto per il corso Linguaggi Formali e Compilatori dell'Università degli studi di Trento, AA 2021-2022
C MIT License UpdatedNov 13, 2021 -
-
corso-pdc-academy Public
Smart contract per corso PDC Academy Ottobre 2021
JavaScript UpdatedOct 2, 2021 -
gitignore Public
Forked from github/gitignoreA collection of useful .gitignore templates
Creative Commons Zero v1.0 Universal UpdatedAug 31, 2021 -
SistemiOperativiLab Public
Esercizi del laboratorio del corso Sistemi Operativi presso l'Università degli studi di Trento
C Do What The F*ck You Want To Public License UpdatedJun 6, 2021 -
EthereumFaucet Public
A basic Ethereum faucet implemented for the ICT Days 2021 at the University of Trento.
-
CryptoHFT Public archive
An automatic high frequency trading bot for cryptocurrencies
-
-
{{ message }}