Giters
Divyaank Tiwari (divyaankt)

divyaankt

Geek Repo

1

followers

0

following

62

stars

Company:Stony Brook University

Location:Stony Brook, NY, USA

Home Page:https://divyaankt.github.io/

Github PK Tool:Github PK Tool

Divyaank Tiwari's starred repositories

Metis-Replayer

Language:CStargazers:2Issues:0Issues:0

Metis

Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)

Language:CLicense:Apache-2.0Stargazers:9Issues:0Issues:0

KVBench

A simple Key-Value Benchmarking experiment that leverages YCSB to compare Apache Ignite, Apache Cassandra, TikV and etcd

Language:ShellStargazers:1Issues:0Issues:0

testFS

A simple file system

Language:CStargazers:1Issues:0Issues:0

java-backend-bootcamp

Language:JavaStargazers:185Issues:0Issues:0

Summer2025-Internships

Collection of Summer 2025 tech internships!

Stargazers:32237Issues:0Issues:0

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Language:CLicense:NOASSERTIONStargazers:344Issues:0Issues:0

echo360

Commandline tool for automated downloads of echo360 videos hosted by university

Language:PythonLicense:MITStargazers:252Issues:0Issues:0

textstat

:memo: python package to calculate readability statistics of a text object - paragraphs, sentences, articles.

Language:PythonLicense:MITStargazers:1111Issues:0Issues:0

XAI-papers

License:MITStargazers:531Issues:0Issues:0

school-of-sre

At LinkedIn, we are using this curriculum for onboarding our entry-level talents into the SRE role.

Language:HTMLLicense:NOASSERTIONStargazers:7717Issues:0Issues:0

ekitaab

Language:PythonStargazers:1Issues:0Issues:0

ChatAway

Language:KotlinStargazers:1Issues:0Issues:0

Essentials-of-Compilation

A book about compiling Racket and Python to x86-64 assembly

Language:TeXStargazers:1256Issues:0Issues:0

AdventOfCode21

This repo contains my Java solutions for Advent of Code 2021

Language:JavaStargazers:1Issues:0Issues:0

jlox

This is the repository for the jlox language which I create by following along Part 2 of the 'Crafting Interpreters' book, by Robert Nystrom.

Language:JavaStargazers:1Issues:0Issues:0

craftinginterpreters

Repository for the book "Crafting Interpreters"

Language:HTMLLicense:NOASSERTIONStargazers:8551Issues:0Issues:0

DivLisp

Creating a Lisp by following https://github.com/orangeduck/BuildYourOwnLisp tutorial

Language:CStargazers:1Issues:0Issues:0

book

Web browser engineering (a book)

Language:JavaScriptLicense:MITStargazers:723Issues:0Issues:0

unix-history-repo

Continuous Unix commit history from 1970 until today

Language:AssemblyLicense:NOASSERTIONStargazers:6516Issues:0Issues:0

awesome-streaming

a curated list of awesome streaming frameworks, applications, etc

Stargazers:2616Issues:0Issues:0

jdbi

The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure or Scala.

Language:JavaLicense:Apache-2.0Stargazers:1941Issues:0Issues:0

go

The Go programming language

Language:GoLicense:BSD-3-ClauseStargazers:121582Issues:0Issues:0

AlgorithmsAndDataStructuresInAction

Advanced Data Structures Implementation

Language:Jupyter NotebookLicense:AGPL-3.0Stargazers:507Issues:0Issues:0

maven

Apache Maven core

Language:JavaLicense:Apache-2.0Stargazers:4247Issues:0Issues:0

libgdx

Desktop/Android/HTML5/iOS Java game development framework

Language:JavaLicense:Apache-2.0Stargazers:23015Issues:0Issues:0

jfx

JavaFX mainline development

Language:C++License:GPL-2.0Stargazers:2635Issues:0Issues:0

gcc

Language:C++License:GPL-2.0Stargazers:9013Issues:0Issues:0

BuildYourOwnLisp

Learn C and build your own programming language in under 1000 lines of code!

Language:HTMLLicense:NOASSERTIONStargazers:2864Issues:0Issues:0

personality-detection

Implementation of a hierarchical CNN based model to detect Big Five personality traits

Language:PythonLicense:MITStargazers:475Issues:0Issues:0