Orasund / elm-refine
refinement types for Elm
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for elm-refine
- Compiler for Elm, a functional language for reliable webapps.☆38Updated 3 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated last year
- 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
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Experiment to compile something Elm-ish to Wasm☆17Updated 6 years ago
- Elm implementation of murmur3 hash function☆26Updated 4 years ago
- The UI for Unison Share☆29Updated this week
- Decode keyboard events in Elm☆22Updated 2 years ago
- elm + electron boiler plate☆49Updated this week
- Extend TEA so that chronological specifications can be translated verbatim into applications.☆18Updated 2 years ago
- Extra functions for the core Random library.☆27Updated 3 years ago
- Purely functional map and set data structures☆36Updated 8 months ago
- Work with elm.json and docs.json files in Elm☆16Updated 3 years ago
- ☆42Updated last year
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- Ace Editor component for Elm☆29Updated 6 years ago
- Generate static documentation of your Elm project.☆30Updated last year
- All the worlds currencies.☆13Updated 2 years ago
- A multi paradigm scripting language for elm☆15Updated 3 years ago
- An immutable approach to mutable references.☆16Updated 5 years ago
- ☆19Updated last year
- Unison Codebase UI☆46Updated 2 years ago
- Experimental command-line scripting for Elm☆34Updated 3 years ago
- Pure IO like monad☆37Updated 5 years ago
- 2D/3D geometry package for Elm☆11Updated 6 years ago
- Write JSON decoders in Elm using continuation-style.☆16Updated last year
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 2 years ago
- A pure Elm text editor based on Martin Janiczek's demo☆44Updated last year
- Work with YAML in Elm.☆36Updated 4 years ago