satyendrabanjare Goto Github PK

.testrepo-satyendra

atp-proofs

Collection of explainatory example proofs for popular proof assistants.

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

baseimage-python

batfish

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.

c-llvm-compiler

An Hobby project learning to use LLVM.

certigrad

Bug-free machine learning on stochastic computation graphs

chat-app

Terminal chat application written purely in haskell

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.

compcert

The CompCert formally-verified C compiler

coq

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.

coq-tricks

Tricks you wish the Coq manual told you

django-mart

A Basic Shopping website made in Django

dotfiles

dsss18

Lecture material for DeepSpec Summer School 2018

fishy_balls

an android game built with corona framework

flrc

Haskell Research Compiler

formalized-data-structures

Coq Formalization of Data Structures

formalized-ltl

frap

Formal Reasoning About Programs

fstar-crypto

Formal verification of basic cryptography using Fstar

fstarexamples

git

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.

gsoc-proposal

hasquito

a dysfunctional compiler to javascript

hott

Homotopy type theory

hott-agda

Development of homotopy type theory in Agda

ikos

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

itp

Exploring Adam Chlipala's Interactive Computer Theory Proving.