bhavinshah7 Goto Github PK

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

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.

githubrep

graphiql-with-extensions

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

hello-world-spring-boot

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

karate

Test Automation Made Simple

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.

mini-java-compiler

packet-analyzer

python-ping

python-traceroute

quickbooks-v3-java-sdk

Java SDK for QuickBooks REST API v3 services

routing-info-protocol

rust-solutions

satsolver

simple-type-checker