jsetiady's Stars
javapathfinder/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
masterthought/jbehave-example
Jbehave example project using Maven
cucumber/common
A home for issues that are common to multiple cucumber repositories
pirapira/ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
LMAX-Exchange/Simple-DSL
Utilities to write a simple DSL in Java
kamranahmedse/design-patterns-for-humans
An ultra-simplified explanation to design patterns
petrabarus/if-itb-latex
LaTeX template for final year project / thesis report at Informatics Engineering ITB
arufian/MessengerBot-Analytics
Getting started into implementation of Facebook Messenger Bot and Facebook
mul14/bandungjs-6
BandungJS #6 Meetup