Pinned Repositories
CS230-project
IITK-Lecture-Slides
All Lecture Notes from IIT Kanpur
arunothia.github.io
codingground
Main Repository for Coding Ground
ILP
Inductive Logic Programming used for End Game Chess K-R-K
PCE
Propagation Complete Encodings for SAT Solvers
Reversi
DFS based implementation of Reversi (Othello)
genpce
Automatic Generation of Propagation Complete SAT Encodings
Modeling-Religious-Interactions
Mutli-Agent Systems (CS785, IITK) Course Project
octodns
Tools for managing DNS across multiple providers
Arunothia's Repositories
Arunothia/arunothia.github.io
Arunothia/CS230-project
Arunothia/octodns
Tools for managing DNS across multiple providers
Arunothia/IITK-Lecture-Slides
All Lecture Notes from IIT Kanpur
Arunothia/Modeling-Religious-Interactions
Mutli-Agent Systems (CS785, IITK) Course Project
Arunothia/Reversi
DFS based implementation of Reversi (Othello)
Arunothia/PrimeDNS
PrimeDNS is a DNS caching service that helps the user to continually maintain last known good DNS resolutions in the system's hostfile. It has been implemented in C# using dotnet core framework.
Arunothia/terraform-up-and-running-code
Code samples for the book "Terraform: Up & Running" by Yevgeniy Brikman
Arunothia/PCE-C-
A C++ Implementation of MUS based PCE Algorithm
Arunothia/codingground
Main Repository for Coding Ground
Arunothia/PCE
Propagation Complete Encodings for SAT Solvers
Arunothia/genpce
Automatic Generation of Propagation Complete SAT Encodings
Arunothia/ILP
Inductive Logic Programming used for End Game Chess K-R-K