Pinned Repositories
Armada
Armada is a tool for writing, and proving correct, high-performance concurrent programs.
CS330-OperatingSystems
Repository to maintain code for the course on Operating Systems.
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
GitIntro
Repository for Github introduction
systemcall-testcases-cs330
Extra testcases for CS330
vimrc
The ultimate Vim configuration: vimrc
Zerodha_Live_Automate_Trading-_using_AI_ML_on_Indian_stock_market
Online trading using Artificial Intelligence Machine leaning with python on Indian Stock Market, trading using live bots indicators screener and backtesters using rest api and websocket 😊
yugeshk's Repositories
yugeshk/GitIntro
Repository for Github introduction
yugeshk/CS633-ParallelComputing
Maintains code for Parallel and High Performance Computing (CS633, Fall semester 2019)
yugeshk/systemcall-testcases-cs330
Extra testcases for CS330
yugeshk/CS639
Program Analysis and Verification | IIT Kanpur Fall 2020 | Baldip Bijlani & Yugesh Kothari
yugeshk/CS330-OperatingSystems
Repository to maintain code for the course on Operating Systems.
yugeshk/Armada
Armada is a tool for writing, and proving correct, high-performance concurrent programs.
yugeshk/CI_test
Dummy code for testing a Continuous Integration Tool
yugeshk/browser-player-poc
yugeshk/cmdline
A Command Line Parser
yugeshk/corral
solver for the reachability modulo theories problem
yugeshk/crab
CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation
yugeshk/crab-llvm
Static Analyzer for LLVM bitcode based on Abstract Interpretation
yugeshk/CS639-assignments
Contains control-flow and dataflow analysis for a subset of the python grammar
yugeshk/django-setup
yugeshk/ELINA
ELINA: ETH LIbrary for Numerical Analysis
yugeshk/eran
ETH Robustness Analyzer for Deep Neural Networks
yugeshk/graph-llvm-ir
Visualization of LLVM IR
yugeshk/hotel-management
A LAMP application for a hotel management site.
yugeshk/klee
KLEE Symbolic Execution Engine
yugeshk/llvm-seahorn
LLVM components that are modified for SeaHorn
yugeshk/notion-toolset
🔩 A set of Notion automation tools using the Notion API
yugeshk/prd
yugeshk/puppy-love
A cryptographically secure couple matching platform with strong guarantees
yugeshk/Python-NSE-Option-Chain-Analyzer
The NSE has a website which displays the option chain in near real-time. This program retrieves this data from the NSE site and then generates useful analysis of the Option Chain for the specified Index or Stock. It also continuously refreshes the Option Chain and visually displays the trend in various indicators useful for Technical Analysis
yugeshk/swent-epfl-creation
This repository is a scratchpad for creating the course on Software Enterprise
yugeshk/systems-website
yugeshk/taskbook
Tasks, boards & notes for the command-line habitat
yugeshk/vbench
VBench: Multicore Scalability Application Benchmark
yugeshk/yugeshk.github.io
Homepage in progress
yugeshk/zenodo-upload
upload big files to Zenodo using cURL, jq and bash