Pinned Repositories
anishpdoshi.github.io
Personal site
biblescrapers
Beautiful soup web scrapers for https://www.biblegateway.com/
cbmc
C Bounded Model Checker
circle_the_cat_solver
Use reinforcement learning to train an agent to play the game Circle the Cat.
custom-expo-updates-server
delphi
delphi is a prototype implementation of Synthesis Modulo Oracles (SyMO) and SMT with oracles (SMTO)
Genetics
Python framework for running a genetic algorithm. Can pass in custom problems that can be represented as a binary string and with a fitness function specified.
pos-weighted-text-generation
Use part-of-speech tagging to train language models more quickly
SaatAath
Plays a game of Saat Aath., A very popular Indian Card Game, where one player has to make Eight hands and second player Seven. The person making 8 gets to chose the dominant suite.
tictactoe
Simple tic-tac-toe game, with a minimax/alpha beta pruning opponent
anishpdoshi's Repositories
anishpdoshi/biblescrapers
Beautiful soup web scrapers for https://www.biblegateway.com/
anishpdoshi/pos-weighted-text-generation
Use part-of-speech tagging to train language models more quickly
anishpdoshi/anishpdoshi.github.io
Personal site
anishpdoshi/SaatAath
Plays a game of Saat Aath., A very popular Indian Card Game, where one player has to make Eight hands and second player Seven. The person making 8 gets to chose the dominant suite.
anishpdoshi/Genetics
Python framework for running a genetic algorithm. Can pass in custom problems that can be represented as a binary string and with a fitness function specified.
anishpdoshi/tictactoe
Simple tic-tac-toe game, with a minimax/alpha beta pruning opponent
anishpdoshi/cbmc
C Bounded Model Checker
anishpdoshi/circle_the_cat_solver
Use reinforcement learning to train an agent to play the game Circle the Cat.
anishpdoshi/delphi
delphi is a prototype implementation of Synthesis Modulo Oracles (SyMO) and SMT with oracles (SMTO)
anishpdoshi/fintech_hack
anishpdoshi/JuICe-models
anishpdoshi/oh-my-zsh
AVP zsh configuration (based on oh-my-zsh)
anishpdoshi/react-native-micro-animated-button
A stateful button component for React Native.