Aditya Mishra's starred repositories

haskell-trainings

Haskell 101 and 102: slides and codelabs

Language:HaskellLicense:Apache-2.0Stargazers:1378Issues:0Issues:0

storm

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

Language:SMTLicense:Apache-2.0Stargazers:84Issues:0Issues:0

dcypher

Course Project of CS251 - Haskell Cipher

Stargazers:2Issues:0Issues:0

Login

Logs a user into IIT Kanpur firewall authentication page and opens up the IITK webmail of the user

Language:PythonStargazers:2Issues:0Issues:0

Py-Draw

Application to draw basic shapes using Python, Tkinter

Language:PythonStargazers:1Issues:0Issues:0

Sentiment-Analysis

Participated in a 72 hour long sentiment analysis hackathon conducted by Prithavi.ai where I had to classify given tweets in 6 different languages into three sentiments i.e. positive, negative and neutral and also give a score to each of the tweets between -1 and 1 on the basis of degree of sentiment of that particular tweet

Language:PythonStargazers:1Issues:0Issues:0

ZS-Data-Science-Challenge-2019

Solution to ZS Data Science Challenge 2019. This code was ranked 618 among 10000+ entries

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

BAKSA_IITK

Official implementation of paper - "BAKSA at SemEval-2020 Task 9: Bolstering CNN with Self-Attention for Sentiment Analysis of Code Mixed Text" accepted at Proceeding of the 14th International Workshop on Semantic Evaluation.

Language:PythonStargazers:18Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:175912Issues:0Issues:0

QueSTS

Implementaton of a paper QueSTS : A Query Specific Text Summarization System

Language:PythonStargazers:2Issues:0Issues:0

home

The personal website/portfolio template by Hashir Shoaib. Built using React and Bootstrap.

Language:JavaScriptLicense:LGPL-3.0Stargazers:1291Issues:0Issues:0
Language:JavaScriptStargazers:2Issues:0Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:77753Issues:0Issues:0

GSoC20_Proposal

This proposal was submitted for GSoC20 under org OpenAstronomy, suborg JuliaAstro

License:Apache-2.0Stargazers:3Issues:0Issues:0

BlackBox_Insight

Interpreting and Explaining Artificial Intelligence

Language:HTMLLicense:Apache-2.0Stargazers:1Issues:0Issues:0

process-wallpaper

Shell and python scripts that set the desktop wallpaper to a word cloud of the most resource-hungry processes

Language:PythonLicense:GPL-3.0Stargazers:543Issues:0Issues:0

VIMKiller

Exiting VIM is hard; sometimes we need to take drastic measures

Language:JuliaLicense:MITStargazers:1218Issues:0Issues:0

how-to-exit-vim

Below are some simple methods for exiting vim.

Stargazers:6987Issues:0Issues:0

iitk-courses

Contains all the assignments (mostly solved) for all compulsory CSE courses undertaken at IITK, and a few other courses (department electives, open electives and humanities electives - HSS)

Language:C++Stargazers:80Issues:0Issues:0

ICPC

This repository was prepared for Team Codefaster which ended up securing 98 rank at ICPC Amrita Regionals 2018.

Language:C++Stargazers:3Issues:0Issues:0

ghidra

Ghidra is a software reverse engineering (SRE) framework

License:Apache-2.0Stargazers:2Issues:0Issues:0

what-happens-when

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

Stargazers:39652Issues:0Issues:0
Language:ShellStargazers:1Issues:0Issues:0

ml19-20a

CS 771A: Introduction to Machine Learning, IIT Kanpur, 2019-20-autumn offering

Language:Jupyter NotebookLicense:MITStargazers:125Issues:0Issues:0

refinym

Source code for Foundations of Software Engineering 2018 paper titled "RefiNym: Using Names To Refine Types"

Language:C#License:MITStargazers:8Issues:0Issues:0

Maurice-Bach-Notes

Notes on the classic book: The Design of the UNIX Operating System

Stargazers:516Issues:0Issues:0
Language:TypeScriptStargazers:3Issues:0Issues:0

QuickSat

SAT Solver for CS202 Assignment 2

Language:C++License:MITStargazers:1Issues:0Issues:0

scrap

scp-clone in rust built during a hackathon

Language:RustStargazers:3Issues:0Issues:0