bhavinshah7

auto-program-verifier

bhavinshah7.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

checkstyle

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

GCJ

Google Code Jam Solutions

Mini-Java-Compiler

graphql-authorization-java

This library enables access control for accessing types and fields when making a GraphQL request.

graphql-orchestrator-java

GraphQL Orchestrator stitches the schemas from multiple micro-services and orchestrates the graphql queries to these services accurately at runtime

graphql-xtext

A GraphQL SDL lexer, parser, and validator that can read GraphQL grammar and produce executable JVM runtime objects.

xtext-service-dsl

Service DSL is an xtext-based embeddable component for any xtext-based DSL adding capability to make a call to backend services such as REST or GraphQL.

common-xtext-expression-language

common-xtext-expression-language (CXEL) is an Xtext based DSL and a java runtime engine for expressions and commonly used functions for data transformations

bhavinshah7/Mini-Java-Compiler

bhavinshah7/auto-program-verifier

bhavinshah7/bhavinshah7.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

bhavinshah7/checkstyle

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

bhavinshah7/GCJ

Google Code Jam Solutions

bhavinshah7/github-release-notes

Node module to create a release or a changelog from a tag and uses issues or commits to creating the release notes.

bhavinshah7/GitHubRep

bhavinshah7/graphiql-with-extensions

A convenience package for those who just want a single-line drop-in replacement for existing GraphiQL usage

bhavinshah7/satsolver

bhavinshah7/simple-type-checker

bhavinshah7/hello-world-spring-boot

Service template for creating a Spring Boot service with Forge, Telepresence, and Ambassador

bhavinshah7/karate

Test Automation Made Simple

bhavinshah7/LightGBM

A fast, distributed, high performance gradient boosting (GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning tasks. It is under the umbrella of the DMTK(http://github.com/microsoft/dmtk) project of Microsoft.

bhavinshah7/packet-analyzer

bhavinshah7/python-ping

bhavinshah7/python-traceroute

bhavinshah7/QuickBooks-V3-Java-SDK

Java SDK for QuickBooks REST API v3 services

bhavinshah7/routing-info-protocol

bhavinshah7/rust-solutions