Pinned Repositories
Boolean-Satisfiability
The Boolean Satisfiability Problem is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE, returning satisfiable.
California-Violent-Crime
dataset
CircleList-GUI
Used OpenGLUT, a Linux-based library to create a GUI in C++. Implemented circularly linked lists.
Citation-Generator
Concat-Vis
Concurrency-Control
CoreNLP
Stanford CoreNLP: A Java suite of core NLP tools.
doodle
Functional-Dependencies
High-Low-Game
A game that can guess the number you're thinking of by asking questions!
anvi10's Repositories
anvi10/Boolean-Satisfiability
The Boolean Satisfiability Problem is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE, returning satisfiable.
anvi10/California-Violent-Crime
dataset
anvi10/CircleList-GUI
Used OpenGLUT, a Linux-based library to create a GUI in C++. Implemented circularly linked lists.
anvi10/Citation-Generator
anvi10/Concat-Vis
anvi10/Concurrency-Control
anvi10/CoreNLP
Stanford CoreNLP: A Java suite of core NLP tools.
anvi10/doodle
anvi10/Functional-Dependencies
anvi10/High-Low-Game
A game that can guess the number you're thinking of by asking questions!
anvi10/housing
anvi10/Linked-List
anvi10/Lists-Sorting
Implementation of array lists, doubly linked lists, and sorting items in either ascending or descending order.
anvi10/Pointers
A program that can count words and lines in a file, plot points, and perform mathematics with an RPN calculator.
anvi10/Spatial-Representation
anvi10/spr2019-adv-project
anvi10/String-Functions-C
anvi10/String-Functions-CPP
Implementation of string functions and a Roman Numeral-Decimal converter
anvi10/University-SQL
anvi10/Weka-Corpus-Statistics