Pinaka Verifier for C Programs Golang Verifier Verification of Go programs AIInterval Abstract Interpreter for Interval Domain FC+ Fact Checking in CQA Forums SAT & MaxSAT Solvers SAT Solving using DPLL and CDCL. MaxSAT solver based on Minisat. ECEncrypt Image Encryption Technique EaseYourWay A model departmental store checkout app Parallel Sorting 2 Parallel versions of QuickSort
