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
Improving your Elm experience since 2019
TEA for Bucklescript
Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)
Elm offline documentation previewer
dApps in Elm
An Elm to OCaml compiler
Tree sitter implementation for elm
Language server implementation for Elm
🍃 Create Elm apps with zero configuration
Hazel, a live functional programming environment with typed holes
verify code examples by generating tests
Official Elm port of Sqids. Generate short YouTube-looking IDs from numbers.
💾 Generate a new Elm project from the command line (Elm 0.16+)
PureScript crash course targeted at Elm developers
elm-format formats Elm source code according to a standard set of rules based on the official Elm...