SatyendraBanjare

plt-formal-methods-resources

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

luagit2

Updated Lua bindings to libgit2

Project-HomeAutomation

Hobby home automation project build using Django,Raspberry Pi,Xbees

C-LLVM-compiler

An Hobby project learning to use LLVM.

fstarexamples

.testrepo-satyendra

baseimage-python

certigrad

Bug-free machine learning on stochastic computation graphs

Cirq

A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.

coco-framework

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.

coq-tricks

Tricks you wish the Coq manual told you

dotfiles

Formalized-Data-Structures

Coq Formalization of Data Structures

Formalized-LTL

fstar-crypto

Formal verification of basic cryptography using Fstar

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

learn-kube

Learning Kubernetes

learn-reason-ml

learning Reason ML

mcb

Mathematical Components (the Book)

md2notion

A better Notion.so Markdown importer

ocaml-fun

Trying to get my Hands on Ocaml

oplss-notes-2019

Notes and handouts from OPLSS 2019

rpcbind

Satisfy

A simple SAT solver in python based on DPLL alrorithm. https://en.wikipedia.org/wiki/DPLL_algorithm

SatyendraBanjare

SatyendraBanjare.github.io

My Jekyll based Blog

teddy

verdi

A framework for formally verifying distributed systems implementations in Coq

ZeOS

Operating system Hobby Project