JFLAP - JFLAP is software for experimenting with formal languages topics including nondeterministic finite...

Waydev - Waydev analyzes your codebase from Github, Gitlab, Azure DevOps & Bitbucket to help you bring out the best in your engineers work.

jsflap - A web-based NFA and DFA construction and testing tool.

LinearB - LinearB delivers software leaders the insights they need to make their engineering teams better through a real-time SaaS platform. Visibility into key metrics paired with automated improvement actions enables software leaders to deliver more.

SocNetV - Social Network Visualizer (SocNetV) is a cross-platform, user-friendly free software application for social network analysis and...

Haystack Analytics - Ship faster and improve team satisfaction with engineering analytics powered by your Github data.