Gowtham Kaki's repositories
ocaml-irmin
From priyas13/ocaml-irmin commit ffc35eec9b483bd4e265e54edab3a1914df65fd8
csci7000_pfp_s23
Principles of Functional Programming Course Website
csci7000_s21
CSCI7000 Distributed Systems Verification Spring 2021
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
csci7000_f20
CS3100: Paradigms of Programming at CSE IITM
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
cu-letter
Template for letters on CU Boulder letterhead
fstar-experiments
FStar Experiments
git-test1
An example to demonstrate Git's inconsistent merge behavior
git-test2
Git inconsistency example 2
gowthamk.github.io
github pages
irmin
Irmin is a distributed database that follows the same design principles as Git
ocaml-scylla
Scylla/Cassandra driver written in OCaml
peepul
Certified implmentations of mergeable replicated data types
q9-website
A web interface to Q9
quark
Quark Theory
Scythe
Synthesizing SQL queries from input / output examples
shoppe
A attractive and complete Rails engine providing e-commerce functionality for any Rails 4 application.
software-foundations-fst
Exercises from the book series "Software Foundations" implemented in F* (mirror)
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
svmiller.github.io
My website on github at http://svmiller.com