Pinned Loading

1. Shell Shell Public

   This is shell program implemented in C.

   C

2. Router Router Public

   BGP Router

   Python

3. RAFT RAFT Public

   RAFT Protocol implementation in Python.

   Python

4. Quantum_Key_Distribution Quantum_Key_Distribution Public

   This repository is for the research done on Device-Independent Quantum Key Distribution.

   Python 2

5. EnvCap EnvCap Public

   Implementation of EnvCap: A Programming Language with Capabilities as First-Class Modules using λₑ with extensions as the Core Calculus.

   Haskell

6. Formal_ENVCAP Formal_ENVCAP Public

   Formal proofs for ENVCAP and λE calculus in LEAN4

   Lean