Thomas Weiser's starred repositories
intellij-elm
Elm plugin for IntelliJ Platform IDEs
elmplus-docs
Documents related to an Elm-like compiler to C
zokka-compiler
Fork of compiler for Elm, a functional language for reliable webapps.
elm-review-extract-api
A rule to extract the API of Elm applications using elm-review's data extraction facilities
nbb-logseq
nbb with features enabled for logseq
elm-review
Analyzes Elm projects, to help find mistakes before your users find them.
material-components-web-elm
Material Components for Elm
differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
elm-procedure
Orchestrate commands, subscriptions, and tasks in Elm
elm-program-test
Test Elm programs
jest-puppeteer
Run tests using Jest & Puppeteer 🎪✨
microKanren
An Elm implementation of the μKanren language.
elm-sorter-experiment
Experimental Sorter/Dict/Set API
elm-test-graph
Define an exection graph, and verify all possible execution orderings.