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
- A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.☆37Updated 4 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
- Elm implementation of murmur3 hash function☆26Updated 4 years ago
- Extra functions for the core Random library.☆27Updated 4 years ago
- Write JSON decoders in Elm using continuation-style.☆16Updated 2 years ago
- elm + electron boiler plate☆49Updated last week
- A multi paradigm scripting language for elm☆15Updated 3 years ago
- Elm language server written in haskell (archived). Use https://github.com/elm-tooling/elm-language-server instead.☆52Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Experiment to compile something Elm-ish to Wasm☆17Updated 7 years ago
- Work with elm.json and docs.json files in Elm☆16Updated 4 years ago
- ONE-SHOT Algebraic Effects for Ruby!☆22Updated 4 years ago
- Elm XML decoder sharing the spirit of Json.Decode☆16Updated 10 months ago
- Roc Build Tool☆48Updated 2 years ago
- Elm profiles to sponsor☆23Updated 2 years ago
- Convert between ISO-8601 date strings and Time.Posix☆35Updated 2 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆15Updated last year
- Inject values from a list into a template. Useful for i18n and templated copy.☆31Updated 5 years ago
- Generate random values in Elm☆46Updated last year
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- The UI for Unison Share☆31Updated this week
- Markdown parser available for historical reasons. Will be replaced when we have an Elm implementation!☆30Updated 6 years ago
- Extend TEA so that chronological specifications can be translated verbatim into applications.☆18Updated 3 years ago
- Go foreign export implementations for the standard library☆33Updated 2 years ago
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 4 years ago
- Parse HTML 5 in Elm☆61Updated 2 years ago
- Composable transformation of sequences using clojure-inspired transducers☆40Updated 6 years ago
- A pure Elm text editor based on Martin Janiczek's demo☆45Updated 2 years ago
- Flexible context menu for Elm☆15Updated 3 years ago