Shreif Abdallah's repositories
ImageOptimization
optimized versions of smooth ( a function that smooths out a pixel based on the average value of surrounding pixels )
KeepingUp
KeepingUp enables you to keep up with pop culture. Music, movies and books!
malloc-realloc-free-package
This is a dynamic memory allocator for C programs, it reduces fragmentation using coalescing of adjacent free heap blocks. Contains routines for malloc() free() and realloc().
tinyrenderer
A brief computer graphics / rendering course
bit-manipulations
an exercise of bit manipulation, different restraints on operator types and count.
blocks-world
An exercise in Lisp
Connect4AI
Cool connect 4 playing AI, uses heuristic minimax with variable depth limit
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
CSP-solver
Constraint satisfaction problem solver.
quick-portfolio
Use this template if you need a quick developer / data science portfolio! Based on a Minimal Jekyll theme for GitHub Pages.
ralloc-testing
Contains the testing scripts for the APF based memory allocator "ralloc"
Rust-Scanner
Advanced IO handler for Rust following the usage patterns of java.util.Scanner