Adem Bizid

bizid777/URL-shortener

This repo is expected to built with full automation

bizid777/cpbook-code

CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

bizid777/LeanStateSearch

bizid777/DamMIT

bizid777/lean-rust