Pinned Repositories
postgresql-simple-named
:question: Implementation of named parameters for `postgresql-simple` library
pushy-client
Haskell library for Pushy integration
cis194
cis552
Working through lecture notes and p-sets for CIS 552
formal_verification_avl_trees
Verifying Correctness of an OCaml based implementation of AVL Trees
fpp-final-project
Final project for introductory formal verification course
haskell-playground
Exploring topics in Haskell
haskell-type-level-exercises
opal
Policy and data administration, distribution, and real-time updates on top of Open Policy Agent
pldi-final-project
Implementation of a DSL extending a toy language developed as part of a PLDI course
oishikg's Repositories
oishikg/formal_verification_avl_trees
Verifying Correctness of an OCaml based implementation of AVL Trees
oishikg/fpp-final-project
Final project for introductory formal verification course
oishikg/cis194
oishikg/cis552
Working through lecture notes and p-sets for CIS 552
oishikg/haskell-playground
Exploring topics in Haskell
oishikg/haskell-type-level-exercises
oishikg/opal
Policy and data administration, distribution, and real-time updates on top of Open Policy Agent
oishikg/pldi-final-project
Implementation of a DSL extending a toy language developed as part of a PLDI course