Hey! I’m Karishma, a software engineer with an interest in open-source, Python, real-time collaboration, and history. I’ve worked on open-source machine learning platforms, user-experience, and commerce tools at Microsoft.

Now, I’m building an open-source library for spinning up propositional logic encodings on the fly under the supervision of Professor Christian Muise at the Mu Lab for my senior year project.

In my spare time, you can find me curating spotify playlists, reading, eating out with friends, listening to history podcasts, and exploring cities on foot.

Always down to chat! Feel free to reach me at karishdaga@gmail.com or on Twitter.

This project is maintained by KarishmaDaga