Orasund / elm-refine
refinement types for Elm
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for elm-refine
- A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.☆37Updated 3 years ago
- Elm XML decoder sharing the spirit of Json.Decode☆16Updated 5 months ago
- Elm implementation of murmur3 hash function☆25Updated 4 years ago
- Compiler for Elm, a functional language for reliable webapps.☆38Updated 3 years ago
- Work with elm.json and docs.json files in Elm☆16Updated 3 years ago
- Decode keyboard events in Elm☆22Updated 2 years ago
- A multi paradigm scripting language for elm☆15Updated 3 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated last year
- Convert between ISO-8601 date strings and Time.Posix☆35Updated last year
- Write JSON decoders in Elm using continuation-style.☆16Updated last year
- Experiment to compile something Elm-ish to Wasm☆17Updated 6 years ago
- Extra functions for the core Random library.☆27Updated 3 years ago
- Generate static documentation of your Elm project.☆30Updated last year
- UI documentation tool for Elm applications.☆12Updated 3 years ago
- Work with bytes and implement network protocols☆83Updated 5 years ago
- Additional basic functions for Elm.☆15Updated last year
- Extend TEA so that chronological specifications can be translated verbatim into applications.☆18Updated 2 years ago
- Elm language server written in haskell (archived). Use https://github.com/elm-tooling/elm-language-server instead.☆52Updated 5 years ago
- Browser extension to display additional information for a package on package.elm-lang.org☆13Updated 5 years ago
- The UI for Unison Share☆29Updated 2 weeks ago
- Inject values from a list into a template. Useful for i18n and templated copy.☆31Updated 5 years ago
- Do string operations based on graphemes instead of codepoints or bytes.☆24Updated last year
- Manage Elm tools.☆51Updated 7 months ago
- Roc Build Tool☆49Updated last year
- Pure IO like monad☆37Updated 5 years ago
- Lamdera port of elm-spa realworld implementation, adding a full backend implementation.☆26Updated 2 years ago
- ☆19Updated last year
- Markdown parser available for historical reasons. Will be replaced when we have an Elm implementation!☆30Updated 6 years ago
- An immutable approach to mutable references.☆16Updated 5 years ago
- A pure Elm text editor based on Martin Janiczek's demo☆44Updated last year