Oishik Ganguly's repositories
formal_verification_avl_trees
Verifying Correctness of an OCaml based implementation of AVL Trees
fpp-final-project
Final project for introductory formal verification course
Language:Haskell000
cis552
Working through lecture notes and p-sets for CIS 552
Language:Makefile000
haskell-playground
Exploring topics in Haskell
Language:Haskell000
opal
Policy and data administration, distribution, and real-time updates on top of Open Policy Agent
Language:PythonApache-2.0000
pldi-final-project
Implementation of a DSL extending a toy language developed as part of a PLDI course
Language:OCaml000