Satyendra Banjare's Projects
Collection of explainatory example proofs for popular proof assistants.
:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
An Hobby project learning to use LLVM.
Bug-free machine learning on stochastic computation graphs
Terminal chat application written purely in haskell
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
The Confidential Consortium Blockchain Framework is an open-source system that enables high-scale, confidential blockchain networks that meet all key enterprise requirements—providing a means to accelerate production enterprise adoption of blockchain technology.
The CompCert formally-verified C compiler
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Tricks you wish the Coq manual told you
A Basic Shopping website made in Django
Lecture material for DeepSpec Summer School 2018
an android game built with corona framework
Haskell Research Compiler
Coq Formalization of Data Structures
Formal Reasoning About Programs
Formal verification of basic cryptography using Fstar
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
simple performance comparison of rest and grpc
a dysfunctional compiler to javascript
Homotopy type theory
Development of homotopy type theory in Agda