Pinned Repositories
cmsc330spring19-public
qcheck
QuickCheck inspired property-based testing for OCaml.
99-Problems
antar
CMSC389A-Final-Project
Creating a basic chess bot that can accurately predict the next piece to move
code-challenges
List of ongoing and past code challenges
Experimental-Geometry-Lab
My work at the Experimental Geometry Lab in the Mathematics Department at the University of Maryland
nvim
vcalc
checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
hasantouma's Repositories
hasantouma/Experimental-Geometry-Lab
My work at the Experimental Geometry Lab in the Mathematics Department at the University of Maryland
hasantouma/99-Problems
hasantouma/antar
hasantouma/CMSC389A-Final-Project
Creating a basic chess bot that can accurately predict the next piece to move
hasantouma/code-challenges
List of ongoing and past code challenges
hasantouma/nvim
hasantouma/vcalc