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.

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

grpc-bank-service

grpc-vs-rest-performance-demo

simple performance comparison of rest and grpc

ikos

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

k8s-docker-demo

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

ZeOS

Operating system Hobby Project