Orasund / elm-refineLinks
refinement types for Elm
☆16Updated 2 years ago
Alternatives and similar repositories for elm-refine
Users that are interested in elm-refine are comparing it to the libraries listed below
Sorting:
- Compiler for Elm, a functional language for reliable webapps.☆38Updated 4 years ago
- An immutable approach to mutable references.☆16Updated 6 years ago
- Functional, infinite streams of data in Elm that won't overflow the stack☆18Updated 7 years ago
- Markdown parser available for historical reasons. Will be replaced when we have an Elm implementation!☆32Updated 7 years ago
- Manage Elm tools.☆58Updated last week
- The UI for Unison Share☆34Updated 3 weeks ago
- Cara language compiler☆50Updated 7 months ago
- Code generation for elm-i18next☆24Updated 2 years ago
- Elm language server written in haskell (archived). Use https://github.com/elm-tooling/elm-language-server instead.☆52Updated 6 years ago
- ☆26Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated 2 years ago
- A pure Elm text editor based on Martin Janiczek's demo☆46Updated 3 years ago
- A prototypical implementation of the elm language (https://elm-lang.org/) in JetBrains MPS (https://www.jetbrains.com/mps/), sporting a p…☆22Updated 3 years ago
- Additional basic functions for Elm.☆15Updated 2 years ago
- A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.☆37Updated 4 years ago
- 7GUIs in Elm.☆20Updated last year
- Mouse, Touch, Pointer, Wheel and Drag events in elm☆73Updated 2 years ago
- Pure IO like monad☆40Updated 6 years ago
- ELM tree view component☆20Updated 4 years ago
- Unison Codebase UI☆46Updated 3 years ago
- Elm package for JavaScript interop using Elm's Task abstraction☆25Updated 3 years ago
- Tree sitter implementation for elm☆85Updated 2 weeks ago
- Elm profiles to sponsor☆23Updated 2 years ago
- Fast and portable executable to run your Elm tests☆88Updated 4 months ago
- An ML-like statically-typed Erlang☆157Updated 2 years ago
- Create interactive vector graphics and position them relative to each other☆59Updated 4 years ago
- ☆43Updated 2 years ago
- Work with bytes and implement network protocols☆85Updated 6 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated 3 years ago