Vaibhav Tulsyan

Data-Structures-and-Algorithms. A collection of some implementations of data structures and algorithms.

instagram-dl. Instagram image downloader using Python

z3-floating-point-proofs. Automated Proofs about floating-point numbers using Z3 Theorem Prover

cuda101. CUDA Programming for Beginners

SwiftTyper. Offline version of games like type racer and 10fastfingers.

DropboxUpload. Upload files on Dropbox from your terminal

picoctf-writeups. Write-ups for PicoCTF tasks

cf_utils. Python

py-data-dependency-graph. Data dependency graph for Python programs

mailer. A utility to send emails to multiple recipients simultaneously

SwiftTyper-1. SwiftTyper for credenz13

ncc. Neural Code Comprehension: A Learnable Representation of Code Semantics

AadhaarSearchEngine. Find Aadhaar cards thanks to Google

2048-AI. A simple AI for 2048

stl4py.

Aasina. This is the program I wrote in 2007 for a line-follower I built that ran on a Philips P89V51RD2 microcontroller

cp-book. Book Code for Competitive Programming

sourcegraph. Fast, global, semantic code search & cross-reference engine for developers.

github-miner.

He2Git. Script Made to scrape all my Hackerearth solutions (close to 1200 at the time of writing)

blog-codes. This is a repository for the codes that I write for my blog posts at http://kartikkukreja.wordpress.com.

keras-quora-question-pairs. A Keras model that addresses the Quora Question Pairs dyadic prediction task.

highlights. Syntax highlighter

decorators-talk-code. Code used during talk presented on python decorators at gnunify 2014

ChatterBot. ChatterBot is a machine learning, conversational dialog engine.

autosub. Command-line utility for auto-generating subtitles for any video file

reason-tools. Adds Reason to the browser

algos. Collection of different algorithms, used for programming competitions (like ACM ICPC).

Reinforcement-Learning. Notes for the Reinforcement Learning course by David Silver along with implementation of various algorithms.

Zappa. Serverless Python Web Services

reason. A meta language toolchain to build systems rapidly

Insomnihack-Teaser-2017. Write-ups for insomnihack teaser 2017

dockerfiles. Dockerfile

question_generation. It is a question-generator model. It takes text and an answer as input and outputs a question.

transformers-arithmetic. Python