Raghu

Expert
@raghudotcc

Program ∷ Representation → Constraints

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

209

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

10

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

6

pspeaking. TypeScript

2

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

1
5
Apply