TamerAbdElaziz

Tamer AbdElaziz's repositories

020

Semantics of C in K

Language:CNOASSERTION000

Repository for the book "Crafting Interpreters"

Language:HTMLNOASSERTION000

DPVIA ( Design Pattern Violations Identification and Assessment Tool )

GPL-3.0020

Let's Build A Simple Interpreter

Language:PythonMIT000

020

Language:HTMLGPL-3.0000

Static Analyzer for Solidity

Language:PythonAGPL-3.0010

SmartBugs: A Framework to Analyze Solidity Smart Contracts

Language:SolidityApache-2.0000

Solutions to the Software Foundations online course

Language:CoqMIT000

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

Language:PythonNOASSERTION000

Official repo for the #tidytuesday project

CC0-1.0000

Implementation of a Variational Auto-Encoder in TensorFlow

Language:PythonMIT000

Variational Autoencoder / Deep Latent Gaussian Model demo & tutorial

Language:PythonMIT000