dipakc/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Developer Profile
dipakc
Discovered public repositories for dipakc in the GitHub catalog.
dipakc/selfspy
Log everything you do on the computer, for statistics, future reference and all-around fun!
dipakc/ScalaUtils
My personal collection of scala utils
dipakc/conscript
Scala at your command
dipakc/test2
Public repository.
dipakc/instiki
a basic wiki clone so pretty and easy to set up, you’ll wonder if it’s really a wiki.