yugeshk Goto Github PK

armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.

ci_test

Dummy code for testing a Continuous Integration Tool

cmdline

A Command Line Parser

coala

coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.

coding-interview-university

A complete computer science study plan to become a software engineer.

colosseum

An implementation of the CSS layout algorithm.

cooking-with-python

Chef esolang interpreter

corral

solver for the reachability modulo theories problem

cpython

The Python programming language

crab

CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

crab-llvm

Static Analyzer for LLVM bitcode based on Abstract Interpretation

cs202

Repository for all projects for Introduction to Computer Logic

cs330-operatingsystems

Repository to maintain code for the course on Operating Systems.

cs350

Maintains Code for CS350 Assignment 2018

cs633-parallelcomputing

Maintains code for Parallel and High Performance Computing (CS633, Fall semester 2019)

cs639

Program Analysis and Verification | IIT Kanpur Fall 2020 | Baldip Bijlani & Yugesh Kothari

cs639-assignments

Contains control-flow and dataflow analysis for a subset of the python grammar

d3

Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

django-setup

egpg

Easy GnuPG, shell scripts to make GnuPG more accessible and easier to use.

egpgtasks

EGnuPG Gsoc 2018 applicationt tasks

elina

ELINA: ETH LIbrary for Numerical Analysis

eran

ETH Robustness Analyzer for Deep Neural Networks

event-notifications

first-contributions

🚀 Yet another project to get beginners contributing to open source 🔰

fms

A File System that displays formatting as per the user. Part of the ACA Project 2018.

gitintro

Repository for Github introduction

graph-llvm-ir

Visualization of LLVM IR

hotel-management

A LAMP application for a hotel management site.

klee

KLEE Symbolic Execution Engine