A simple and extensible behavioural testing library for Go. You can use api test to simplify REST API, HTTP handler and e2e tests.

A tool written in Go to build Sequence Diagrams and more UML - in Go

Draw sequence diagram in text from terminal.

A REST api demo project that generates sequence diagrams from tests

Sequence diagram generator with simple text based grammar, to make it quick and easy to share ideas and document your system. Copy to clipboard for sharing on chat, or export as .PNG.

Collaborative notebooks with sequence diagrams and GraphViz

Core components for generating reports with sequence diagrams

This is a design for a restaurant simulator. A fair bit of the restaurant simulator is up to us (the team) to design including the implementation as a pure simulation or as a "restaurant tycoon" game.

Gestió de videojocs.

Improving software writing content using various types of diagrams

Software requirement specification for Guya LTD Microservices project

Technical diagrams generated from code snippet. Diagrams include sequence diagrams, flow charts, entity relationship etc.

js-sequence-diagrams playground to simplify diagram management.

A basic Course registration JAVA application with 3 versions including POS application, REST APIs and Dropwizard deployment

Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models

One year of Java learning and development journey with 8 personal and academic projects from console games to Enterprise Web applications

Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.

Software modeling semester project

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm