lpil / formal

Related projects ⓘ

Alternatives and complementary repositories for formal

• lpil / html-lustre-converter
  HTML -> Lustre
  ☆30Updated this week
• ghivert / tardis
  Time traveller debugger, tailor-made for Lustre! Rewind your history, and see what you've done!
  ☆27Updated last month
• lpil / bucket
  ☆18Updated last month
• inoas / glacier
  Gleam Incremental Interactive Unit Testing
  ☆24Updated 4 months ago
• maxdeviant / startest
  🌠 A testing framework to help you shoot for the stars
  ☆23Updated 3 months ago
• JonasGruenwald / spectator
  A BEAM observer tool written in and compatible with Gleam
  ☆32Updated 3 weeks ago
• gleam-community / ansi
  ANSI colours, formatting, and control codes
  ☆24Updated 3 months ago
• hayleigh-dot-dev / modem
  A friendly Lustre package to help you build a router, handle links, and manage URLs.
  ☆28Updated 2 months ago
• lpil / gleeunit
  Gleam bindings for the Erlang EUnit test framework
  ☆23Updated 4 months ago
• dinkelspiel / kirakira
  A lobste.rs like forum made in Gleam
  ☆25Updated 3 months ago
• JohnBjrk / showtime
  Gleam Testing Framework
  ☆24Updated 8 months ago
• giacomocavalieri / glam
  ✨ A package to help you easily pretty print structured data
  ☆36Updated 6 months ago
• DominikBB / signal
  An event sourcing library for Gleam.
  ☆11Updated 2 months ago
• Pevensie / barnacle
  Self-healing clusters for Gleam applications on the BEAM!
  ☆34Updated 3 weeks ago
• lpil / decode
  Ergonomic dynamic decoders for Gleam!
  ☆72Updated this week
• TanklesXL / glint
  Gleam command-line argument parsing with flags and automated help text generation.
  ☆63Updated this week
• gleam-lang / developer-survey
  🗺 Learning about the Gleam community
  ☆16Updated 2 weeks ago
• JonasGruenwald / chrobot
  Browser automation library written in Gleam
  ☆28Updated last month
• inoas / gleam-cake
  A Gleam library to compose SQL queries targeting SQL dialects PostgreSQL, SQLite, MariaDB and MySQL.
  ☆75Updated this week
• chouzar / chip
  Registry library for gleam
  ☆15Updated 2 months ago
• ghivert / sketch
  A CSS-in-Gleam package, made to work with frontend, backend, with your favorite framework!
  ☆49Updated this week
• ghivert / grille-pain
  Toaster, made in lustre, for gleam
  ☆16Updated 2 weeks ago
• pta2002 / gleam-radiate
  Hot code reloading for Gleam
  ☆42Updated 4 months ago
• brettkolodny / gleam-hug
  A package for creating helpful, and pretty CLI messages.
  ☆28Updated 6 months ago
• lpil / json-typedef
  Work with JSON using a schema! RFC8927
  ☆36Updated this week
• usepriceflow / app
  PriceFlow
  ☆23Updated 5 months ago
• gleam-community / path
  Path parsing and manipulation
  ☆15Updated 10 months ago
• hayleigh-dot-dev / nibble
  A string parsing library heavily inspired by elm/parser.
  ☆55Updated 3 weeks ago
• JohnBjrk / gap
  A Gleam library for comparing strings/lists and producing a textual (styled) representation of the differences.
  ☆16Updated 8 months ago
• bwireman / esgleam
  esbuild plugin for gleam 🌸
  ☆19Updated last year