https://github.com/au-cobra/coq-elm-extraction

Coq plugin for extracting Elm code

coq elm extraction

Last synced: 10 Oct 2024

https://github.com/erdl/survey_display

An interface to display questions via browsers stored in a database managed by survey_admin.

elm flask postgresql survey thermal-comfort

Last synced: 04 Nov 2024

https://github.com/thangchung/elm-quizzer

Quizzer Application

elm elm-architecture elm-demos

Last synced: 13 Dec 2024

https://github.com/ravicious/random-color

elm elm-application

Last synced: 18 Jan 2025

https://github.com/grierson/todos

My implementation of TodoMVCs

elm todomvc

Last synced: 16 Jan 2025

https://github.com/zimbix/pathfinder-elm

An Elm implementation of the board game, PathFinder - a multiplayer maze game

board-game elm game maze

Last synced: 19 Dec 2024

https://github.com/lue-bird/elm-keysset

lookup for multiple arbitrary keys. safe. log n

avl-tree dict dictionary elm multi-key set

Last synced: 14 Dec 2024

https://github.com/pavelannin/keemun-kotlin

Multiplatform Kotlin framework that provides a way to write shared code using The Elm Architecture pattern

architecture elm elm-architecture kotlin kotlin-multiplatform the-elm-architecture

Last synced: 12 Oct 2024

https://github.com/lue-bird/elm-typesafe-array

`Array` with a typed length range → safe access

array elm range type-safe vector

Last synced: 14 Dec 2024

https://github.com/maybemonad/break-elm

Elm 中文版（非官方出品），翻译中...

break-elm elm elm-chinese elm-lang elm-zh elmlang

Last synced: 18 Dec 2024

https://github.com/rl-king/elm-iso3166-country-codes

Convert to and from alpha2, alpha3, id and country names in 23 languages

elm iso3166 translations

Last synced: 01 Dec 2024

https://github.com/ajlende/elm-webxr-explorations

WebXR explorations in Elm

elm webar webgl webvr webxr

Last synced: 18 Dec 2024

https://github.com/torvaney/duck-debugger

Talk to the duck (ELIZA style)

chatbot duck-debugger eliza elm elm-lang

Last synced: 11 Jan 2025

https://github.com/rl-king/elm-scroll-to

Smoothly scroll to an element with a spring animation.

animation elm scroll smooth

Last synced: 01 Dec 2024

https://github.com/vic/elmx-webpack-preloader

Compile elmx to elm files before using elm-webpack-loader

elm elmx webpack-loader webpack-plugin

Last synced: 25 Dec 2024

https://github.com/izumisy/nanorouter-elm

nanorouter integration with Elm (element)

elm

Last synced: 18 Dec 2024

https://github.com/hypnoglow/elm-by-example

Collection of examples that illustrate the Elm language basics.

elm elm-demos elm-language

Last synced: 21 Jan 2025

https://github.com/dtwrks/elm-book-interop-elm-ui

Use elm-ui with elm-book

elm elm-book hexdocs storybook

Last synced: 24 Nov 2024

https://github.com/ymtszw/yubot

My playground Antikythera gear application!

bot elixir elm wasm

Last synced: 21 Jan 2025

https://github.com/lilpacy/elm-parcel-boilerplate

elm x parcel dev environment boilerplate

elm parcel

Last synced: 05 Dec 2024

https://github.com/pablobm/view-layer-experiments

Simple experiments with web view layers

elm glimmer javascript

Last synced: 28 Dec 2024

https://github.com/leojpod/elm-keyboard-shortcut

Simple example package to show how to create and use web-component with elm

custom-elements elm keyboard-shortcuts

Last synced: 18 Oct 2024

https://github.com/werner/diyalog

Elm dialog

elm elm-language

Last synced: 21 Jan 2025

https://github.com/clojj/elm-css-grid

Elm package for CSS Grid

css cssgrid elm elm-language grid layout

Last synced: 21 Nov 2024

https://github.com/trifectalabs/elm-polyline

Polyline Encoder/Decoder in Elm

elm elm-lang encoder-decoder library polyline

Last synced: 21 Jan 2025

https://github.com/ryan-haskell/elm-land-hackernews

made during the claw raidathon!

elm hacker-news

Last synced: 30 Nov 2024

https://github.com/heliozoa/haven

[WIP] Website for artists and fans

art elm rust website

Last synced: 28 Nov 2024

https://github.com/frectonz/advent_of_code_2022

Solutions for advent of code 2022

advent-of-code advent-of-code-2022 elm golang ocaml rust

Last synced: 14 Jan 2025

https://github.com/callumjhays/elm-kalman-filter

Simple 1D Kalman Filters in Elm

elm elm-lang kalman kalman-filter kalman-filtering signal-processing signals

Last synced: 21 Jan 2025

https://github.com/eikek/webact

Run actions from the web. Webact allows to manage scripts on the server and execute them.

elm fs2 http4s scala

Last synced: 17 Dec 2024

https://github.com/ryan-haskell/elm-inertia

A package for using Elm with InertiaJS (Laravel, Rails, and more!)

elm inertiajs package

Last synced: 12 Oct 2024

https://github.com/wildlyinaccurate/earthporn-browser

A simple interface built in Elm for browsing images from the eathporn subreddit.

elm reddit-api reddit-client web-application

Last synced: 19 Dec 2024

https://github.com/groteck/iconstoelm

svg directory to Elm module generator

elm svg svg-icons svg-sprites

Last synced: 21 Jan 2025

https://github.com/f0i/iso8601

Elm package to format elm/time posix time as an ISO8601 strings for humans

elm iso8601

Last synced: 11 Jan 2025

https://github.com/ali1rathore/elm_magic

Elm Magic provides IPython & Jupyter magics for executing elm-lang code

elm elm-lang ipython ipython-magic ipython-notebook jupyter jupyter-notebook notebook

Last synced: 01 Nov 2024

https://github.com/ymtszw/elm_array_bench

Benchmarks of Elm containers

array benchmark elm elm-lang list

Last synced: 21 Jan 2025

https://github.com/burntcaramel/lofi-elm

Format content using #hashtags

content elm lofi parser text text-formatting

Last synced: 20 Jan 2025

https://github.com/dwayne/elm-random-quote-machine

Randomly cycle through inspirational quotes.

elm freecodecamp random-quote-machine

Last synced: 24 Dec 2024

https://github.com/lukasmlady/elm-broadcast-channel

Communicate across browsing contexts (windows, tabs, frames, or iframes) with the same origin in Elm

broadcasting elm

Last synced: 10 Jan 2025

https://github.com/lue-bird/elm-review-missing-record-field-lens

elm-review: helper generation

accessors elm elm-review lens nested prism record-field variants

Last synced: 14 Dec 2024

https://github.com/lue-bird/elm-review-documentation-code-snippet

verify code examples by generating tests

documentation elm elm-review test verify-examples

Last synced: 13 Oct 2024

https://github.com/lue-bird/lau

declarative, visual, minimal programming language that reduces brain load

declarative elm logical-programming-language programming-language simple visual-programming-language

Last synced: 14 Dec 2024

https://github.com/ryan-haskell/elm-gamepad-demo

me playing around with Xbox controllers and Elm!

demo elm xbox-controller

Last synced: 30 Nov 2024

https://github.com/zgreen/elm-tictactoe

Tic Tac Toe, written in Elm

elm tic-tac-toe

Last synced: 14 Jan 2025

https://github.com/seanpm2001/ai2001_category-source_code-sc-elm

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Elm category for AI2001, containing Elm programming language datasets

ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence dataset elm elm-lang elm-language elm-sc-dataset gpl3 gplv3 md r-language rmarkdown-language source-code-dataset txt

Last synced: 21 Jan 2025

https://github.com/ryan-haskell/elm-hackernews

a progressive web app, built with elm! (work in progress)

elm hackernews pwa

Last synced: 30 Nov 2024

https://github.com/charukiewicz/quickphrase

A remake of the game catchphrase written in Elm

elm elm-ui game-development

Last synced: 24 Jan 2025

https://github.com/julianoes/olms

My own Olten departure table in Elm

departure-board elm elm-lang kiosk kiosk-software raspberry-pi rpi trains

Last synced: 17 Dec 2024

https://github.com/seanpm2001/nostalgii

🧠️🟢️🇳 The official home repository for the Nostalgii project, a customizable nostalgic media collection manager and viewer.

elm elm-lang elm-language gpl3 gplv3 nostalgia nostalgia-browser nostalgia-project nostalgic-browser nostalgii nostalgii-development nostalgii-project txt

Last synced: 20 Nov 2024

https://github.com/joelniemela/aek

A choose-your-own-adventure (CYOA) engine.

cyoa cyoa-book cyoa-editor elm elm-lang

Last synced: 21 Jan 2025

https://github.com/gribouille/elm-table-tailwind

Full features ELM table component for Tailwind.

component css elm elm-lang javascript tailwind tailwindcss

Last synced: 12 Oct 2024

https://github.com/lentil32/elm-in-svelte

Embed Elm in Svelte with TypeScript

elm svelte sveltekit typescript vite

Last synced: 12 Oct 2024

https://github.com/mkulke/ee

Echsenbiss Express

elm

Last synced: 14 Jan 2025

https://github.com/jinjor/elm-insertable-key

Generates a new key between two keys

elm rdb

Last synced: 23 Jan 2025

https://github.com/seanpm2001/seanpm2001_elm_style-guide

2️⃣️0️⃣️0️⃣️1️⃣️[🌳️🇪.🇱.🇲]📔️ The style guide on Elm programming for @seanpm2001

docs documentation elm elm-lang elm-language elm-style-guide gpl3 gplv3 seanpm2001 seanpm2001-docs seanpm2001-documentation seanpm2001-languages seanpm2001-style-guides source-code-style-guide

Last synced: 13 Oct 2024

https://github.com/risto-stevcev/purescript-starter-template

A purescript starter template using purescript-signal and purescript-smolder-vdom

elm purescript signal starter template virtual-dom webpack

Last synced: 09 Nov 2024

https://github.com/hunar4321/simple_ann

Simple single layered ANN trained using closed-form solutions and ELM method

ann elm extreme-learning-machine

Last synced: 13 Jan 2025

https://github.com/alexandrepiveteau/elm-gap-buffer

An array-based gap buffer implementation, based on the Array data structure from elm/core.

elm gap-buffer

Last synced: 25 Dec 2024

https://github.com/jinjor/elm-issue-list

elm elm-lang

Last synced: 23 Jan 2025

https://github.com/mthadley/elm-byte

Working with Bytes in Elm.

byte elm

Last synced: 14 Nov 2024

https://github.com/rnons/elm-svg-parser

parse String to SVG

elm parser svg

Last synced: 11 Oct 2024

https://github.com/pedro-gutierrez/elementaryjs

Declarative and functional UIs with a hint of Elm

elementaryjs elm es6 functional-programming incremental-dom js json scheme

Last synced: 28 Dec 2024

https://github.com/j-maas/elm-ordered-containers

OrderedDict and OrderedSet that remember the order of insertion.

elm

Last synced: 14 Dec 2024

https://github.com/chicode/lisa

A Lisp dialect designed for codingworkshops

elm lisp lisp-dialect parser

Last synced: 17 Nov 2024

https://github.com/buckybox/buckynix

Bucky Box Phoenix App

buckybox elixir elm food phoenix

Last synced: 05 Dec 2024

https://github.com/tarektouati/programming-quotes

Computer programming wisdom and quotes from @codewisdom Twitter account

elm javascript programming-quotes quotes

Last synced: 21 Dec 2024

https://github.com/arvinh/elm-chromeext

Convert JPY to TWD from your favorite website.

chrome-extension elm hackathon-project

Last synced: 15 Jan 2025

https://github.com/frectonz/wordle-elm

Wordle implemented in elm.

elm tailwindcss wordle-clone

Last synced: 14 Jan 2025

https://github.com/jedirandy/elm-react

:leaves: Use Elm modules in you React app!

elm javascript javascript-library react

Last synced: 07 Dec 2024

https://github.com/granmoe/elm-brick-breaker

elm game

Last synced: 29 Nov 2024

https://github.com/fabienhenon/jsonapi-http

Make HTTP requests with jsonapi decoding/encoding in Elm

elm http jsonapi remotedata

Last synced: 22 Dec 2024

https://github.com/lassik/elm-webmidi-ports-minimal

Minimal working example of receiving Web MIDI messages in Elm 0.18

elm web-midi

Last synced: 14 Dec 2024

https://github.com/rmex/forge

The new RMEBuilder, a package manager and a build-system for RMVXAce

build-system electron elm nodejs package-manager rgss3 rpgmaker ruby

Last synced: 10 Jan 2025

https://github.com/oztk/elm-express-boilerplate

Boilerplate for multi-page Elm web apps with Express on the server-side

boilerplate elm expressjs typescript webpack2

Last synced: 27 Oct 2024

https://github.com/matt-snider/work-journal

A tool for keeping notes/todos built with PostgREST and Elm

elm journal postgrest productivity todo todolist

Last synced: 26 Dec 2024

https://github.com/r-k-b/tulars

Experimentation with simple Utility Function-based agents.

elm utility-theory

Last synced: 29 Nov 2024

https://github.com/qbit/pr-status-pl

elm nixos perl

Last synced: 16 Nov 2024

https://github.com/turbomack/queue

Simple FIFO (first in, first out) Queue implementation in Elm

data-structures elm queue

Last synced: 06 Dec 2024

https://github.com/infertux/roman-numeral

Elm library to convert to Roman numerals

elm library numbers roman-number-converter roman-numerals

Last synced: 19 Dec 2024

https://github.com/jlengrand/elm-dungeon

Simple dungeon tile based game written in Elm

elm elm-demos elm-lang game

Last synced: 05 Nov 2024

https://github.com/kawamurakazushi/spice-blending-puzzle

An application to blend your favorite spice.

elm pwa spreadsheet

Last synced: 09 Jan 2025

https://github.com/sleepymalc/xuan

🩸 Fight, in blood...

elm

Last synced: 11 Oct 2024

https://github.com/marceloboeira/kurz

[WIP] [RESEARCH] 🚀 A URL Shortener so there are no URL Shorteners

docker elm rust url-shortener

Last synced: 14 Dec 2024

https://github.com/dmy/elm-imf-date-time

Convert between Internet Message Format date & time strings and elm/time Time.Posix

date elm imf posix rfc2822 rfc5322 rfc822 time

Last synced: 15 Nov 2024

https://github.com/dmy/elm-0.18-packages

Elm 0.18 packages search page

elm legacy old packages release

Last synced: 15 Jan 2025

https://github.com/tortis/elm-sat

A simple DPLL SAT solver in Elm

dpll-algorithm elm elm-lang sat sat-solver

Last synced: 01 Dec 2024

https://github.com/tesk9/elm-tabs

Accessible tab widget using tesk9/accessible-html

accessibility elm elm-lang tabs

Last synced: 01 Dec 2024

https://github.com/sleepymalc/mahjongbrick

🀄️ Breakout clone, but with Mahjong..?

elm

Last synced: 11 Oct 2024

https://github.com/prikhi/bootstrap-gallery

An Elm Library for Rendering a Modal Gallery with Bootstrap v4 & FontAwesome

bootstrap elm fontawesome gallery modal

Last synced: 17 Jan 2025

https://github.com/jiwhiz/elm-ui-bootstrap

WIP: Rewrite Bootstrap with elm-ui

elm elm-ui twitter-bootstrap

Last synced: 17 Nov 2024

https://github.com/karandit/terramake

Type-safe Infrastructure-as-Code

devops elm iac infrastructure infrastructure-as-code terraform type-safe

Last synced: 16 Jan 2025

https://github.com/zhouzuchuan/react-enhanced

:horse: No intrusive react architecture enhancer 无侵入react 架构增强器

context elm react react-enhanced react-saga redux

Last synced: 13 Jan 2025

https://github.com/eggy115/elm

Elm

elm

Last synced: 17 Jan 2025

https://github.com/ymtszw/blick

Tech-presentation hub app, powered by Antikythera and Elm

bulma elixir elm puppeteer

Last synced: 21 Jan 2025

https://github.com/rnons/ordered-containers

OrderedDict and OrderedSet for Elm

elm

Last synced: 16 Jan 2025

https://github.com/jordymoos/try-elm-docker

Run try elm in docker

docker elm elm-lang

Last synced: 31 Dec 2024

https://github.com/heyakyra/wedding-website-elm

Wedding Website in Elm

elm elm-lang marriage matrimony micro-site nuptial nuptials personal-website static-site template templates website website-template wedding weddings

Last synced: 21 Jan 2025

https://github.com/jliuhtonen/travis-branch-radiator

Travis branch build status radiator and dashboard

dashboard elm radiator travis travis-ci

Last synced: 20 Jan 2025

https://github.com/pristap/smart-text

Parsing #hashtags & @mentions from plain text.

elm elm-lang parsing-combinators

Last synced: 01 Dec 2024

https://github.com/epequeno/sadevs-apps

some apps for https://satx.dev using the AWS CDK

cdk cdk-examples elm

Last synced: 27 Dec 2024