bayoumim Goto Github PK

awesome-machine-learning

A curated list of awesome Machine Learning frameworks, libraries and software.

awesome-rl

Reinforcement learning resources curated

benchmarks

EPFL logic synthesis benchmarks

colortracker

C++ and openCV Color Tracker code based on the paper "Adaptive Color Attributes for Real-Time Visual Tracking" from CVPR 2014

course-adv-net

Advanced Computer Networks @ Johns Hopkins University

coursera-deep-learning

Solutions to all quiz and all the programming assignments!!!

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

data-encryption-standard-verilog

Data Encryption Standard- Verilog

deep_learning_and__the_game_of_go_c_version

This is the C++ implementation of the Game of Go as described in "The Deep Learning and The Game of Go" Book

deep_learning_and_the_game_of_go

Code and other material for the book "Deep Learning and the Game of Go"

digital-recognizer

Code for Digital Recognizer - Kaggle Competition - Accuracy = 0.99757

energy-disaggregation

flower-pollination-algorithm

implemented FPA in c++

generative_adversarial_networks_101

Keras implementations of Generative Adversarial Networks. GAN, DCGAN, CGAN, CCGAN, WGAN and LSGAN models with MNIST and CIFAR-10 datasets.

glucose

The Glucose SAT Solver (CMake Edition)

graph-based-image-segmentation

Implementation of efficient graph-based image segmentation as proposed by Felzenswalb and Huttenlocher [1] that can be used to generate oversegmentations.

hybrid-perovskites

DFT optimised crystal structures of inorganic and hybrid halide perovskites

keras-gan

Keras implementations of Generative Adversarial Networks.

machinelearningsat

Machine Learning Based SAT Solver for Dual Degree Project

mnist-cnn-99.75

modules

mtbdd

code for paper "A Novel Concurrent Cache-friendly Binary Decision Diagram Construction For Multi-Core Platforms," DATE 2013

neural-style

Neural style in TensorFlow! :art:

neurosat

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

nextpnr

nextpnr portable FPGA place and route tool

ostu-multilevel-segmentation

code for paper : Merzban, Mohamed H., and Mahmoud Elbayoumi. "Efficient solution of Otsu multilevel image thresholding: A comparative study." Expert Systems with Applications 116 (2019): 299-309.

practical-fm

A gently curated list of companies using verification formal methods in industry

quantum-espresso-tutorial-2019-projects

quantum-espresso-tutorial-2019-slides

sylvan

Multi-core Decision Diagram (BDD/LDD) implementation