Beast code in Giters

ACassimiro's repositories

Automated Schedule Generation for Time-Sensitive Networks (TSN).

Language:JavaGPL-3.085 5 32

The Z3 Theorem Prover

Language:C++NOASSERTION100

Language:SCSSCC0-1.0000

Core projects developed on the Spring Framework Formation from Alura.

Language:Java000

Guidelines and training material to write secure smart contracts

Language:SolidityAGPL-3.0000

Language:Java000

Language:Python000

Language:Python000

Dynamic Programming Algorithms

Language:Java000

The ecological Social Media

Language:JavaScript000

Projeto final de Engenharia de Sofware

Language:HTML000

K Semantics of the Ethereum Virtual Machine (EVM)

Language:SolidityNOASSERTION000

Exemplos de utilização dos padrões de projeto

000

Language:C000

000

GPL-3.0000