Alternatives and similar repositories for formal

Users that are interested in formal are comparing it to the libraries listed below

• lpil / bucket
  ☆30Updated 3 months ago
• lpil / html-lustre-converter
  HTML -> Lustre
  ☆43Updated last week
• JonasGruenwald / spectator
  A BEAM observer tool written in and compatible with Gleam
  ☆71Updated last week
• TanklesXL / glint
  Gleam command-line argument parsing with flags and automated help text generation.
  ☆74Updated last month
• ghivert / tardis
  Time traveller debugger, tailor-made for Lustre! Rewind your history, and see what you've done!
  ☆35Updated 7 months ago
• lpil / json-typedef
  Work with JSON using a schema! RFC8927
  ☆49Updated last month
• jrstrunk / tempo
  A datetime-centric, mockable time library for Gleam!
  ☆48Updated last month
• JohnBjrk / showtime
  Gleam Testing Framework
  ☆26Updated last year
• inoas / gleam-cake
  A Gleam library to compose SQL queries targeting SQL dialects PostgreSQL, SQLite, MariaDB and MySQL.
  ☆116Updated this week
• pta2002 / gleam-radiate
  Hot code reloading for Gleam
  ☆57Updated last month
• Pevensie / barnacle
  Self-healing clusters for Gleam applications on the BEAM!
  ☆53Updated 4 months ago
• inoas / glacier
  Gleam Incremental Interactive Unit Testing
  ☆30Updated 6 months ago
• maxdeviant / startest
  🌠 A testing framework to help you shoot for the stars
  ☆36Updated 3 months ago
• michaeljones / matcha
  🍵 A template system for Gleam
  ☆88Updated 11 months ago
• ghivert / sketch
  A CSS-in-Gleam package, made to work with frontend, backend, with your favorite framework!
  ☆68Updated last month
• bitbldr / sprocket
  A library for building server components in Gleam ✨
  ☆116Updated 3 months ago
• lpil / gleeunit
  Gleam bindings for the Erlang EUnit test framework
  ☆33Updated 2 months ago
• dinkelspiel / kirakira
  A lobste.rs like forum made in Gleam
  ☆26Updated last month
• lpil / envoy
  📂 A zero dependency cross platform Gleam package for reading environment variables
  ☆36Updated last year
• gleam-lang / time
  🕰️ Work with time in Gleam!
  ☆53Updated last week
• gleam-community / ansi
  ANSI colours, formatting, and control codes
  ☆31Updated 7 months ago
• giacomocavalieri / glam
  ✨ A package to help you easily pretty print structured data
  ☆52Updated 3 months ago
• tynanbe / shellout
  🐢 A Gleam library for cross-platform shell operations
  ☆66Updated 7 months ago
• lpil / decode
  The result of this experiment has been merged into the Gleam stdlib
  ☆75Updated 10 months ago
• lustre-labs / ui
  A collection of components and design tokens for building Lustre apps.
  ☆135Updated last month
• lpil / gleescript
  🌮 Bundle your Gleam-on-Erlang project into an escript, a single executable file!
  ☆78Updated 2 months ago
• hayleigh-dot-dev / nibble
  A string parsing library heavily inspired by elm/parser.
  ☆76Updated 3 months ago
• renatillas / eventsourcing
  A Gleam library for building event-sourced systems.
  ☆39Updated 2 weeks ago
• hayleigh-dot-dev / modem
  A friendly Lustre package to help you build a router, handle links, and manage URLs.
  ☆48Updated last week
• tynanbe / rad
  ✨ Run tasks in Gleam!
  ☆70Updated last year