GNU Readline is an easy-to-use library for autocompleting using Tab key and bash like history using up/down array keys for interactive programs with command line interface.
Contributions to Open-WBO Incomplete MaxSAT solver.
Abstract interpreter for interval domain for integers using CBMC APIs
IMAP and SMTP Mail client implementation in C++
Timetable generator using maxsat solver(Open-WBO)
Course Project based on concurrency.