A Turing complete, type safe, command line interpreter for C built in OCaml,
which allows for arithmetic, comparison operations, control flow and printing. It combines a Lexer coupled with a parser to read strings, convert to tokens and parse them, and evaluate using CFG rules, with support for int and bool variables.