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 3 years ago
- A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.☆37Updated 4 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- Write JSON decoders in Elm using continuation-style.☆16Updated 2 years ago
- ONE-SHOT Algebraic Effects for Ruby!☆23Updated last week
- Elm implementation of murmur3 hash function☆26Updated 4 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated last year
- Typed SVG library written for Elm☆59Updated 3 years ago
- Experiment to compile something Elm-ish to Wasm☆17Updated 7 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated 2 years ago
- Extra functions for the core Random library.☆27Updated 4 years ago
- Create interactive vector graphics and position them relative to each other☆59Updated 3 years ago
- Manage Elm tools.☆55Updated 3 weeks ago
- Generate random values in Elm☆46Updated last year
- Markdown parser available for historical reasons. Will be replaced when we have an Elm implementation!☆31Updated 6 years ago
- A pure Elm text editor based on Martin Janiczek's demo☆46Updated 2 years ago
- Roc Build Tool☆49Updated 2 years ago
- 7GUIs in Elm.☆20Updated 9 months ago
- Composable transformation of sequences using clojure-inspired transducers☆40Updated 6 years ago
- The UI for Unison Share☆31Updated this week
- Decode keyboard events in Elm☆22Updated 2 years ago
- Elm language server written in haskell (archived). Use https://github.com/elm-tooling/elm-language-server instead.☆52Updated 6 years ago
- Convert between ISO-8601 date strings and Time.Posix☆35Updated 2 years ago
- Work with bytes and implement network protocols☆83Updated 6 years ago
- A multi paradigm scripting language for elm☆15Updated 3 years ago
- Explicit typeclasses for Elm☆54Updated 4 years ago
- Extend TEA so that chronological specifications can be translated verbatim into applications.☆18Updated 3 years ago
- elm + electron boiler plate☆49Updated this week
- A Elm implementation of the Tailwind framework that is type safe☆15Updated 4 years ago
- Work with elm.json and docs.json files in Elm☆16Updated 4 years ago