-
Rubrik Inc.
- Palo Alto, CA, USA
-
04:48
(UTC -08:00) - https://divyaankt.github.io/
- in/divyaank-tiwari
Highlights
- Pro
Stars
Learn Low Level Design (LLD) and prepare for interviews using free resources.
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
A simple Key-Value Benchmarking experiment that leverages YCSB to compare Apache Ignite, Apache Cassandra, TikV and etcd
Collection of Summer 2026 tech internships!
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Commandline tool for automated downloads of echo360 videos hosted by university
📝 python package to calculate readability statistics of a text object - paragraphs, sentences, articles.
At LinkedIn, we are using this curriculum for onboarding our entry-level talents into the SRE role.
A book about compiling Racket and Python to x86-64 assembly
This repo contains my Java solutions for Advent of Code 2021
This is the repository for the jlox language which I create by following along Part 2 of the 'Crafting Interpreters' book, by Robert Nystrom.
Repository for the book "Crafting Interpreters"
Creating a Lisp by following https://github.com/orangeduck/BuildYourOwnLisp tutorial
Continuous Unix commit history from 1970 until today
a curated list of awesome streaming frameworks, applications, etc
The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure or Scala.
Advanced Data Structures Implementation
Desktop/Android/HTML5/iOS Java game development framework

