Raghu

simply-jekyll. A simple yet highly functional jekyll theme with backlinks, wiki-style links, context menu, page preview, sidenote etc

scratchpad. As the name suggests, this is my scratchpad to try out code to understand a concept or try out new ideas

ddctl. A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)

pspeaking. TypeScript

fetchyt. A command line utility to decode fmt url encoded stream map.