coq-elm-extraction

Coq plugin for extracting Elm code

MIT License

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

Commit Statistics

Past Year

All Time

Total Commits
32
71
Total Committers
2
6
Avg. Commits Per Committer
16.0
11.83
Bot Commits
5
6

Issue Statistics

Past Year

All Time

Total Pull Requests
20
26
Merged Pull Requests
18
23
Total Issues
1
1
Time to Close Issues
about 1 hour
about 1 hour
Badges
Extracted from project README
Build GitHub Documentation
Related Projects
elchemy

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

10 Feb 2017 1,147
bucklescript-tea

TEA for Bucklescript

24 Jan 2017 602
philip2

An Elm to OCaml compiler

22 Oct 2018 205
elm-language-client-vscode

Improving your Elm experience since 2019

26 May 2019 230
sqids-elm

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

24 Jun 2023 11
elm-ethereum

dApps in Elm

09 Jul 2017 145
elm-language-server

Language server implementation for Elm

09 Jul 2018 411
elm-doc-preview

Elm offline documentation previewer

18 Sep 2018 126
create-elm-app

🍃 Create Elm apps with zero configuration

04 Sep 2016 1,683
elm-new

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

22 May 2016 81
purescript-for-elm-developers

PureScript crash course targeted at Elm developers

05 Oct 2023 36
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
tree-sitter-elm

Tree sitter implementation for elm

10 Jan 2019 73
hazel

Hazel, a live functional programming environment with typed holes

27 Jan 2017 659
elm-review-documentation-code-snippet

verify code examples by generating tests

28 Feb 2024 2