A prototypical implementation of the elm language (https://elm-lang.org/) in JetBrains MPS (https://www.jetbrains.com/mps/), sporting a projectional editor.
☆22Nov 28, 2022Updated 3 years ago
Alternatives and similar repositories for elmMPS
Users that are interested in elmMPS are comparing it to the libraries listed below
Sorting:
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- refinement types for Elm☆16Jul 12, 2023Updated 2 years ago
- A minimal scheme-esque language written in Elm.☆22Apr 20, 2021Updated 4 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- A template repository for building a chrome extension with webpack and elm.☆18Jan 14, 2023Updated 3 years ago
- Install, upgrade and uninstall Elm dependencies☆183Jul 26, 2023Updated 2 years ago
- Elm dictionary with custom key types.☆20Aug 12, 2024Updated last year
- The iconic elm-todomvc project, as an Ionic Capacitor mobile application☆18Mar 2, 2023Updated 3 years ago
- Play sound effects and music in a declarative way☆21Mar 2, 2024Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- ☆12May 9, 2015Updated 10 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Type inference support for elm-syntax ASTs☆11Jun 19, 2024Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Crawl an Elm project and produce a dependency graph in DOT☆10Dec 29, 2024Updated last year
- Elm Set built on top of AnyDict☆10Aug 12, 2024Updated last year
- Rule ideas for elm-review☆10Mar 14, 2021Updated 4 years ago
- Write JSON decoders in Elm using continuation-style.☆16Apr 11, 2023Updated 2 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 5 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- ☆16Feb 18, 2025Updated last year
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 2 weeks ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 10 months ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 3 years ago
- Do string operations based on graphemes instead of codepoints or bytes.☆25Jun 27, 2023Updated 2 years ago
- Define, blend, and generate Colors and Palettes in Elm.☆28Dec 21, 2020Updated 5 years ago
- A convenient template for creating a progressive web app using Elm and Rust☆26Apr 11, 2020Updated 5 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- A functional test framework for LSP servers☆35Mar 22, 2021Updated 4 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30May 15, 2017Updated 8 years ago
- Comparison of similar functions across Elm, Javascript, and Haskell☆31May 11, 2018Updated 7 years ago
- ☆15Sep 28, 2022Updated 3 years ago