Coq plugin for extracting Elm code
MIT License
Bot releases are hidden (Show)
Published by 4ever2 3 months ago
Initial release of coq-elm-extraction.
This version is compatible with Coq 8.17-8.19
Full Changelog: https://github.com/AU-COBRA/coq-elm-extraction/commits/v0.1.0
Elm offline documentation previewer
verify code examples by generating tests
Improving your Elm experience since 2019
Hazel, a live functional programming environment with typed holes
An Elm to OCaml compiler
elm-format formats Elm source code according to a standard set of rules based on the official Elm...
Official Elm port of Sqids. Generate short YouTube-looking IDs from numbers.
TEA for Bucklescript
🍃 Create Elm apps with zero configuration
dApps in Elm
💾 Generate a new Elm project from the command line (Elm 0.16+)
Tree sitter implementation for elm
Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)
PureScript crash course targeted at Elm developers
Language server implementation for Elm