Krishna Girkar's repositories
advent-of-code
Solutions to Advent of Code
Language:Rust000
lambda-scripts
Backend scripts for webscraping. Runs locally with puppeteer and on AWS Lambda with chrome-aws-lambda.
spanish-auto-words
Generates Spanish Homework For Sra. Autran Spanish 3
Language:JavaScript000
.dotfiles
Repo to backup dotfiles
Language:Lua000
chess
Chess API in Racket
Language:Racket000
flux
Refinement Types for Rust
MIT000
JSON-Maker
Converts a file with values on each line to a JSON list
Language:Python000
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Language:HaskellBSD-3-Clause000
Mastermind
Plays the game mastermind with four letter words
Language:Python000
Language:JavaScript000