Code Monkey home page Code Monkey logo

Hassan Salehe Matar, Ph.D's Projects

apt-cyg icon apt-cyg

Apt-cyg, an apt-get like tool for Cygwin

archer icon archer

Archer, a data race detection tool for large OpenMP applications

bioguide icon bioguide

A program for automatic construction of proteins from synthetic biological tools.

clanomp icon clanomp

As OpenMP source-to-source translator, Clanomp takes your OpenMP program and outputs version of it with OpenMP pragmas replaced with runtime function calls.

dfinspec icon dfinspec

Output non-determinism detection tool for shared memory dataflow applications.

dynamicprogramming icon dynamicprogramming

Practice solutions to some of the dynamic programming problems in computer science. For each problem in this repository there is problem definition, solution discussion, solution implementation and unit tests using Google-test and Google-mock.

embedsanitizer icon embedsanitizer

EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.

example-cpp11 icon example-cpp11

Minimal project that uses qmake, GCC, C++11, gcov and is tested by Travis CI

goldilocks icon goldilocks

This project aims to bring live again the research project source code of Goldilocks, a race and transaction-aware Java runtime.

hisaapi icon hisaapi

An unofficial Python API for accessing current stock prices in Euros.

investpy icon investpy

Financial Data Extraction from Investing.com with Python

kastorsauto icon kastorsauto

A bash script to automate the compilation and execution of KaStORS OpenMP dataflow Benchmarks under Archer race detection tool.

mapreduceinputs icon mapreduceinputs

This repository contains text input files for map-reduce testing program implemented in TaskSanitizer.

onethirdruleverifier icon onethirdruleverifier

PROMELA source code to verify a distributed consensus algorithm called "One-Third Rule Consensus Algorithm".

openmp icon openmp

Mirror of official openmp-llvm git repository located at http://llvm.org/git/openmp. Updated every five minutes.

parv icon parv

Framework for Parallelizing Runtime Detection and Prevention of Concurrency Errors

ph7 icon ph7

A proof-of-concept virtual museum using only OpenGL and GLut.

plnotes icon plnotes

A collection of concise, minimal, example-oriented reference notes about programming languages.

sketchysoft icon sketchysoft

A system for software programming using sketch recognition.

talqt icon talqt

A very simple proof-of-concept two-client chatting application built using Qt and Node.js

tasksanitizer icon tasksanitizer

A tool for detecting determinacy races in OpenMP task applications.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.