naderalawar Goto Github PK

arborx

Performance-portable geometric search library

bazel_llvm

LLVM libraries and binaries for bazel

cc-daikon

Studying the effects of coincidental correctness on Daikon

chatservice

A RESTful web API built with Microsoft Azure

eece-437-assignments

fluid-simulation

hilbert-theorem-prover

A theorem prover that implements the Hilbert proof system

historicaldataprovider

image-processing-cuda

This repository contains CUDA implementations of common 2D image processing techniques and filters.

linuxprogramming

llvm-passes

A collection of my Implementations of some LLVM Passes

llvm-project-cxxjit

Clang with JIT extensions

mtt-testing

An implementation of testing modulo type theory

naderalawar.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

notificationservice

parallel_bst_cuda

A parallel implementation of a binary search tree written in cuda

programl

A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations

pykokkos

Provides Kokkos performance portable parallel programming in Python.

pykokkos-base

Python bindings for data interoperability with Kokkos (View, DynRankView)

refactoring

the-good-game-lounge

A Steam-like application for windows, including some games

the-maze-solver

Assembly code written for the PIC16F84A microcontroller. Functionalities include interfacing with an LED screen on which a maze will be displayed and solved.

unordered_set-modified

This code includes modifications to the C++ STL list, xhash, and unordered_set header files. The purpose is to change unordered_sets iterator to explore different orders on different runs.

vidsearch

Chrome extension to detect objects in online youtube videos

wayout

Dynamically generate Python bindings for C++ libraries