Pinned Repositories
apt-cyg
Apt-cyg, an apt-get like tool for Cygwin
bioguide
A program for automatic construction of proteins from synthetic biological tools.
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
Output non-determinism detection tool for shared memory dataflow applications.
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
EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
hisaapi
An unofficial Python API for accessing current stock prices in Euros.
OneThirdRuleVerifier
PROMELA source code to verify a distributed consensus algorithm called "One-Third Rule Consensus Algorithm".
OpenMPDataflowExamples
A repository containing small OpenMP dataflow examples: some are racy and others are correct.
TaskSanitizer
A tool for detecting determinacy races in OpenMP task applications.
hassansalehe's Repositories
hassansalehe/EmbedSanitizer
EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
hassansalehe/TaskSanitizer
A tool for detecting determinacy races in OpenMP task applications.
hassansalehe/apt-cyg
Apt-cyg, an apt-get like tool for Cygwin
hassansalehe/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.
hassansalehe/DFinspec
Output non-determinism detection tool for shared memory dataflow applications.
hassansalehe/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.
hassansalehe/hisaapi
An unofficial Python API for accessing current stock prices in Euros.
hassansalehe/investpy
Financial Data Extraction from Investing.com with Python
hassansalehe/KaStORSauto
A bash script to automate the compilation and execution of KaStORS OpenMP dataflow Benchmarks under Archer race detection tool.
hassansalehe/OpenMPDataflowExamples
A repository containing small OpenMP dataflow examples: some are racy and others are correct.
hassansalehe/parv
Framework for Parallelizing Runtime Detection and Prevention of Concurrency Errors
hassansalehe/archer
Archer, a data race detection tool for large OpenMP applications
hassansalehe/dataracebench
Data race benchmark suite
hassansalehe/deHunter
Automated rental apartment search
hassansalehe/django-session-idle-timeout
A Django middleware application to timeout a logged in user session after a specified time period
hassansalehe/example-cpp11
Minimal project that uses qmake, GCC, C++11, gcov and is tested by Travis CI
hassansalehe/Goldilocks
This project aims to bring live again the research project source code of Goldilocks, a race and transaction-aware Java runtime.
hassansalehe/googletest
Google Test
hassansalehe/hassansalehe.github.io
My personal website.
hassansalehe/MapReduceInputs
This repository contains text input files for map-reduce testing program implemented in TaskSanitizer.
hassansalehe/openmp
Mirror of official openmp-llvm git repository located at http://llvm.org/git/openmp. Updated every five minutes.
hassansalehe/PH7
A proof-of-concept virtual museum using only OpenGL and GLut.
hassansalehe/PLnotes
A collection of concise, minimal, example-oriented reference notes about programming languages.
hassansalehe/TalQt
A very simple proof-of-concept two-client chatting application built using Qt and Node.js
hassansalehe/test
hassansalehe/trythings
A short blog about new software, opensource in particular, that I try and learn to introductory level.
hassansalehe/UbuntuAuto
Bash script files for automatic installation of various software on Ubuntu. The scripts have been saving a lot of my time.
hassansalehe/web-share-target
Web API proposal for receiving shared data
hassansalehe/WebShare2Targets
A simple web-share demo with two targets which have the same title.
hassansalehe/webShareDemo
Web API proposal for sharing data from a web page