lpil / formalLinks
☆47Updated 3 weeks ago
Alternatives and similar repositories for formal
Users that are interested in formal are comparing it to the libraries listed below
Sorting:
- ☆26Updated last month
- HTML -> Lustre☆39Updated 4 months ago
- Time traveller debugger, tailor-made for Lustre! Rewind your history, and see what you've done!☆35Updated 5 months ago
- Gleam command-line argument parsing with flags and automated help text generation.☆71Updated 2 months ago
- A BEAM observer tool written in and compatible with Gleam☆43Updated 6 months ago
- Work with JSON using a schema! RFC8927☆47Updated 3 months ago
- Gleam bindings for the Erlang EUnit test framework☆33Updated last week
- A CSS-in-Gleam package, made to work with frontend, backend, with your favorite framework!☆63Updated 2 months ago
- A datetime-centric, mockable time library for Gleam!☆47Updated 2 months ago
- A Gleam library to compose SQL queries targeting SQL dialects PostgreSQL, SQLite, MariaDB and MySQL.☆109Updated this week
- 🕰️ Work with time in Gleam!☆48Updated last month
- Self-healing clusters for Gleam applications on the BEAM!☆45Updated 2 months ago
- A collection of components and design tokens for building Lustre apps.☆124Updated last week
- A library for building server components in Gleam ✨☆113Updated last month
- 👁️🗨️ A Gleam source code parser, in Gleam!☆70Updated this week
- Toaster, made in lustre, for Gleam☆20Updated 2 months ago
- ✨ A package to help you easily pretty print structured data☆49Updated last month
- 🐢 A Gleam library for cross-platform shell operations☆63Updated 5 months ago
- ANSI colours, formatting, and control codes☆30Updated 5 months ago
- 🍵 A template system for Gleam☆86Updated 8 months ago
- A Gleam library for building event-sourced systems.☆27Updated last week
- datetime handling for gleam☆79Updated 8 months ago
- A friendly Lustre package to help you build a router, handle links, and manage URLs.☆46Updated 2 weeks ago
- Browser automation library written in Gleam☆34Updated 4 months ago
- Gleam Testing Framework☆25Updated last year
- The result of this experiment has been merged into the Gleam stdlib☆75Updated 8 months ago
- 🐙 Types and functions for programs running on Erlang!☆122Updated 3 weeks ago
- ✨ Run tasks in Gleam!☆68Updated last year
- Hot code reloading for Gleam☆52Updated 2 weeks ago
- Gleam Incremental Interactive Unit Testing☆30Updated 4 months ago