coq-elm-extraction

Coq plugin for extracting Elm code

MIT License

Stars
2
Committers
5
View Code on GitHub
Ecosystems: Coq, Elm

Bot releases are visible (Hide)

coq-elm-extraction - coq-elm-extraction v0.1.0 Latest Release

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

Badges
Extracted from project README
Build GitHub Documentation
Related Projects
elm-doc-preview

Elm offline documentation previewer

18 Sep 2018 126
philip2

An Elm to OCaml compiler

22 Oct 2018 205
sqids-elm

Official Elm port of Sqids. Generate short YouTube-looking IDs from numbers.

24 Jun 2023 11
elm-review-documentation-code-snippet

verify code examples by generating tests

28 Feb 2024 2
elm-ethereum

dApps in Elm

09 Jul 2017 145
elchemy

Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)

10 Feb 2017 1,147
elm-language-server

Language server implementation for Elm

09 Jul 2018 411
elm-language-client-vscode

Improving your Elm experience since 2019

26 May 2019 230
elm-new

💾 Generate a new Elm project from the command line (Elm 0.16+)

22 May 2016 81
hazel

Hazel, a live functional programming environment with typed holes

27 Jan 2017 659
elm-format

elm-format formats Elm source code according to a standard set of rules based on the official Elm...

13 Sep 2015 1,311
purescript-for-elm-developers

PureScript crash course targeted at Elm developers

05 Oct 2023 36
create-elm-app

🍃 Create Elm apps with zero configuration

04 Sep 2016 1,683
tree-sitter-elm

Tree sitter implementation for elm

10 Jan 2019 73
bucklescript-tea

TEA for Bucklescript

24 Jan 2017 602