tejasanilshah Goto Github PK

animatedgrid

This is an app to showcase animation capabilities of iOS

barebones-pre-commit

Boilerplate to start a simple python project from

ctci-c-plus-plus

This repository contains the C++ Solutions to the coding problems in Cracking the Coding Interview

easyteach

Examples for EasyCrypt Lectures

hackerrank

This repository contains solutions to a few hackerrank problems

ios-projects

This repo contains the iOS projects that I'm working on

mrab-regex

prefect-aws

Prefect integrations with AWS.

prefect-dataplatform

Example repository showing how to build a data platform with Prefect, dbt and Snowflake

project-euler

Helpful hints for questions from Project Euler

qrhl-tool

Proof assistant for qRHL

skip-the-small-talk

Skip the small talk, ask these interesting questions to strangers instead

swift-algorithm-club

Algorithms and data structures in Swift, with explanations!

tejasanilshah.github.io

Source code for my personal website

the-joy-of-easycrypt

Formal Verification companion material to The Joy of Cryptography textbook by Mike Rosulek

veel-practice-pronunciation

Simple python tool that helps you practice pronunciation through recording a source audio, and your attempts at reproducing the same.

vocab-notify

Passively build your vocabulary using Ubuntu's notifications

web-projects

Repo containing my web projects (Mostly JS)