Concurrent Systems
3 projects
Showing 3 of 3 projects
quintTypeScript
An executable specification language with delightful tooling based on the Temporal Logic of Actions (TLA+)
#tlaplus#tla-plus#formal-methods
Stars1.5k
Forks134
Last commit7 days ago
mqttexElixir
A complete MQTT server and client implementation written in Elixir, supporting QoS levels and durable sessions.
#iot#elixir#message-queue
Stars45
Forks4
Last commit11 years ago
RovexElixir
A multi-mars rover implementation in Elixir for exploring the Mars Rover kata with functional programming.
#multiplayer#functional-programming#elixir
Stars14
Forks1
Last commit1 year ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.