Pinned Repositories
aadityanaik.github.io
A website for my own self
compile
A simple rudimentary bash script to compile single C and CPP source files more conveniently
countripedia-android
cpp-notes
My set of notes for effective C++ written in a jupyter notebook using the xeus-cling kernel
E-OS
A proof of concept simulation of the workings of an operating system
LongNums
A custom made proof-of-concept class for handling numbers with large number of digits
musicmanaged
Your Music, now Managed
Scan
A class similar to Java's Scanner class which verifies user input
code2inv
Code2Inv: Learning Loop Invariants for Program Verification
CodeTrek
A powerful relational representation of source code
aadityanaik's Repositories
aadityanaik/LongNums
A custom made proof-of-concept class for handling numbers with large number of digits
aadityanaik/E-OS
A proof of concept simulation of the workings of an operating system
aadityanaik/cpp-notes
My set of notes for effective C++ written in a jupyter notebook using the xeus-cling kernel
aadityanaik/musicmanaged
Your Music, now Managed
aadityanaik/aadityanaik.github.io
A website for my own self
aadityanaik/compile
A simple rudimentary bash script to compile single C and CPP source files more conveniently
aadityanaik/countripedia-android
aadityanaik/Scan
A class similar to Java's Scanner class which verifies user input
aadityanaik/simply-shakespearean
A script that will generate a Shakespearean quote but with random words
aadityanaik/term-alarm
A simple terminal based alarm script written in bash with a countdown timer
aadityanaik/AndroidLibSVM
The well-known LibSVM on Android
aadityanaik/Bash-Snippets
A collection of small bash scripts for heavy terminal users
aadityanaik/ChatUp
aadityanaik/code2inv
Code2Inv: Learning Loop Invariants for Program Verification
aadityanaik/compressorinator
A tool for image compression using Artificial Neural Networks
aadityanaik/Countripedia
A java application to get information on a country searched. Uses the restcountries api.
aadityanaik/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
aadityanaik/focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.
aadityanaik/graduation
$ git remote <graduation> yearbook
aadityanaik/helloworld
Hello, world in different programming languages
aadityanaik/jobinator
aadityanaik/libra
aadityanaik/matlab
Implementation of All ▲lgorithms in Matlab Programming Language
aadityanaik/movielens-analysis
The repository for our PM project
aadityanaik/parking_lot
aadityanaik/song-generator
A program to generate a song based on an original audio clip
aadityanaik/sv-benchmarks
Collection of Verification Tasks
aadityanaik/The-Looter
A small, incomplete text based adventure game based on the story of a treasure hunter
aadityanaik/vim
The official Vim repository