Orasund / elm-refine
refinement types for Elm
☆16Updated last year
Alternatives and similar repositories for elm-refine:
Users that are interested in elm-refine are comparing it to the libraries listed below
- Elm implementation of murmur3 hash function☆26Updated 4 years ago
- A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.☆37Updated 3 years ago
- Compiler for Elm, a functional language for reliable webapps.☆38Updated 3 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated 2 years ago
- Manage Elm tools.☆54Updated 11 months ago
- A multi paradigm scripting language for elm☆15Updated 3 years ago
- Extra functions for the core Random library.☆27Updated 3 years ago
- Convert between ISO-8601 date strings and Time.Posix☆35Updated 2 years ago
- Experimental command-line scripting for Elm☆34Updated 3 years ago
- Write JSON decoders in Elm using continuation-style.☆16Updated last year
- Work with YAML in Elm.☆38Updated 4 years ago
- Decode keyboard events in Elm☆22Updated 2 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Flexible context menu for Elm☆15Updated 3 years ago
- Additional basic functions for Elm.☆15Updated 2 years ago
- Typed SVG library written for Elm☆59Updated 2 years ago
- Experiment to compile something Elm-ish to Wasm☆17Updated 7 years ago
- Elm XML decoder sharing the spirit of Json.Decode☆16Updated 8 months ago
- Roc Build Tool☆48Updated 2 years ago
- If you really need regex in Elm, it is possible.☆33Updated 2 years ago
- Inject values from a list into a template. Useful for i18n and templated copy.☆31Updated 5 years ago
- Functional, infinite streams of data in Elm that won't overflow the stack☆18Updated 6 years ago
- Composable transformation of sequences using clojure-inspired transducers☆40Updated 6 years ago
- ☆18Updated 2 years ago
- A Elm implementation of the Tailwind framework that is type safe☆15Updated 4 years ago
- An immutable approach to mutable references.☆16Updated 6 years ago
- Pure IO like monad☆38Updated 5 years ago
- Markdown parser available for historical reasons. Will be replaced when we have an Elm implementation!☆30Updated 6 years ago
- Work with bytes and implement network protocols☆83Updated 6 years ago
- Work with elm.json and docs.json files in Elm☆16Updated 3 years ago