jssandh2

Juspreet Singh Sandhu's starred repositories

Python library for asynchronous programming

Language:PythonApache-2.0685 37 19

A framework for formally verifying distributed systems implementations in Coq

Language:CoqBSD-2-Clause582 67 25

Turn complex GraphQL queries into optimized database queries.

Language:PythonApache-2.0552 24 166

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Language:CoqBSD-2-Clause182 55 19

Labeled IO Library

Language:Haskell56 10 17

handouts and notes from the 2017 edition of the summer school

Language:Racket39 350

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

Language:LLVMNOASSERTION1 20