The Elm programming language in the Spoofax language workbench
☆10Jul 10, 2015Updated 11 years ago
Alternatives and similar repositories for elm-spoofax
Users that are interested in elm-spoofax are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimal IRC client in Elm.☆17Jun 5, 2019Updated 7 years ago
- CodeMirror wrapper for Elm☆19Mar 26, 2016Updated 10 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago
- An example Task Manager project that has been created using Lagom.☆18Mar 22, 2019Updated 7 years ago
- Nice handling for keyboard inputs in Elm☆51May 16, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Touch event package for Elm lang☆10Nov 26, 2018Updated 7 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Probabilistic Functional Logic Programming☆16Mar 27, 2025Updated last year
- ElmConf 2016 Summary☆10Sep 27, 2016Updated 10 years ago
- Some Elm sample code☆10Feb 17, 2017Updated 9 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- A library with extra functions for the dictionary type in elm core.☆14Dec 12, 2022Updated 3 years ago
- monerobux modules for sopel irc bot☆11Aug 24, 2021Updated 5 years ago
- Somewhat low-level API for getting smoother animations with requestAnimationFrame☆28May 24, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Route parser for Elm, based on parser combinators☆50Nov 16, 2016Updated 9 years ago
- Composable transformation of sequences using clojure-inspired transducers☆40Aug 31, 2018Updated 8 years ago
- Shadertoy for Elm☆33Apr 20, 2017Updated 9 years ago
- ETC☆15Aug 27, 2021Updated 5 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Flat matrix implementation for Elm☆12Jun 4, 2018Updated 8 years ago
- Elixir Protocol Buffers Compiler☆23Apr 9, 2024Updated 2 years ago
- Experimental binary decoder☆10Apr 15, 2017Updated 9 years ago
- Erlang library for encoding and decoding postgres data types☆18Dec 9, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Deprecated, please see:☆11Aug 9, 2016Updated 10 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- A double ended queue for Elm☆20Dec 8, 2022Updated 3 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 years ago
- ☆13Jul 14, 2018Updated 8 years ago
- Convenience functions for working with Json.☆40Dec 7, 2022Updated 3 years ago
- Elm eureka is a rust library for parsing elm projects and elm code.☆10May 6, 2018Updated 8 years ago
- A multipart parser written in Ruby☆17Jan 27, 2018Updated 8 years ago
- A clean, lean PHP beanstalkd client☆15May 31, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Example Elm application using Web Audio☆36Jul 24, 2017Updated 9 years ago
- Multiple caching levels for Rails. Kinda like your CPU's L1/L2 caches.☆20Jul 26, 2023Updated 3 years ago
- An example project for doing grid search in MLlib☆13Nov 27, 2014Updated 11 years ago
- Android app that tracks tremors and recommends follow up action☆12Sep 17, 2017Updated 9 years ago
- Kickstart Lift☆10Jul 3, 2011Updated 15 years ago
- Scala starter bot for Vindinium☆10Apr 19, 2016Updated 10 years ago
- An experimental debugger for Elm☆80Dec 1, 2016Updated 9 years ago