Alternatives and similar repositories for formal:

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

• lpil / html-lustre-converter
  HTML -> Lustre
  ☆35Updated 4 months ago
• ghivert / tardis
  Time traveller debugger, tailor-made for Lustre! Rewind your history, and see what you've done!
  ☆32Updated last month
• hayleigh-dot-dev / modem
  A friendly Lustre package to help you build a router, handle links, and manage URLs.
  ☆35Updated last week
• maxdeviant / startest
  🌠 A testing framework to help you shoot for the stars
  ☆31Updated 2 weeks ago
• inoas / glacier
  Gleam Incremental Interactive Unit Testing
  ☆28Updated this week
• JonasGruenwald / spectator
  A BEAM observer tool written in and compatible with Gleam
  ☆43Updated 2 months ago
• jrstrunk / tempo
  A datetime-centric, mockable time library for Gleam!
  ☆44Updated last month
• gleam-lang / time
  🕰️ Work with time in Gleam!
  ☆43Updated this week
• lpil / decode
  The result of this experiment has been merged into the Gleam stdlib
  ☆77Updated 4 months ago
• lpil / gleeunit
  Gleam bindings for the Erlang EUnit test framework
  ☆30Updated 3 weeks ago
• renatillas / eventsourcing
  A Gleam library for building event-sourced systems.
  ☆23Updated last month
• lpil / bucket
  ☆22Updated 2 months ago
• TanklesXL / glint
  Gleam command-line argument parsing with flags and automated help text generation.
  ☆67Updated last week
• JohnBjrk / showtime
  Gleam Testing Framework
  ☆25Updated last year
• lustre-labs / dev-tools
  Lustre's CLI and development tooling: zero-config dev server, bundling, and scaffolding.
  ☆65Updated last week
• chouzar / chip
  Registry library for gleam
  ☆23Updated 4 months ago
• pta2002 / gleam-radiate
  Hot code reloading for Gleam
  ☆48Updated 9 months ago
• usepriceflow / app
  PriceFlow
  ☆23Updated 10 months ago
• lpil / json-typedef
  Work with JSON using a schema! RFC8927
  ☆45Updated 3 months ago
• ghivert / grille-pain
  Toaster, made in lustre, for gleam
  ☆21Updated 3 weeks ago
• inoas / gleam-cake
  A Gleam library to compose SQL queries targeting SQL dialects PostgreSQL, SQLite, MariaDB and MySQL.
  ☆93Updated 3 weeks ago
• isaacharrisholt / gleam-in-production
  A list of companies who use Gleam in production!
  ☆36Updated 2 weeks ago
• dinkelspiel / kirakira
  A lobste.rs like forum made in Gleam
  ☆25Updated 4 months ago
• hayleigh-dot-dev / nibble
  A string parsing library heavily inspired by elm/parser.
  ☆69Updated 3 months ago
• bwireman / esgleam
  esbuild plugin for gleam 🌸
  ☆19Updated 2 years ago
• bitbldr / sprocket
  A library for building server components in Gleam ✨
  ☆104Updated 3 weeks ago
• hayleigh-dot-dev / decipher
  A collection of handy gleam/dynamic decoders.
  ☆20Updated 6 months ago
• JohnBjrk / gap
  A Gleam library for comparing strings/lists and producing a textual (styled) representation of the differences.
  ☆16Updated last year
• massivefermion / birl
  datetime handling for gleam
  ☆78Updated 4 months ago
• Pevensie / argus
  Erlang-based Argon2 Password Hashing for Gleam
  ☆16Updated 7 months ago