Showing 3 of 3 projects
An executable specification language with delightful tooling based on the Temporal Logic of Actions (TLA+)
A complete MQTT server and client implementation written in Elixir, supporting QoS levels and durable sessions.
A multi-mars rover implementation in Elixir for exploring the Mars Rover kata with functional programming.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.