Tool support for the Z formal notation
Generate railroad diagrams from code or BNF. Generate BNF from code
Very Compact Java Reader / Writer ( 12kb)
Enhanced Korat supports GUI, FSM, JUNG and JSON.
A tool for visualization and analysis of logs as sequence diagrams
A DSL that ease (shortens) the set up mockito based unit tests
JetBrains Meta programming System
Repository has been moved to: http://dtitov.github.com/bracer