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
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Shadertoy for Elm☆33Apr 20, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Nice handling for keyboard inputs in Elm☆51May 16, 2018Updated 8 years ago
- monerobux modules for sopel irc bot☆11Aug 24, 2021Updated 5 years ago
- An example Task Manager project that has been created using Lagom.☆18Mar 22, 2019Updated 7 years ago
- Elixir Protocol Buffers Compiler☆23Apr 9, 2024Updated 2 years ago
- Touch event package for Elm lang☆10Nov 26, 2018Updated 7 years ago
- ElmConf 2016 Summary☆10Sep 27, 2016Updated 9 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 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.
- A library with extra functions for the dictionary type in elm core.☆14Dec 12, 2022Updated 3 years ago
- Convenience functions for working with Json.☆40Dec 7, 2022Updated 3 years ago
- Somewhat low-level API for getting smoother animations with requestAnimationFrame☆28May 24, 2018Updated 8 years ago
- ETC☆15Aug 27, 2021Updated 5 years ago
- Flat matrix implementation for Elm☆12Jun 4, 2018Updated 8 years ago
- Deprecated, please see:☆11Aug 9, 2016Updated 10 years ago
- ☆13Jul 14, 2018Updated 8 years ago
- Erlang library for encoding and decoding postgres data types☆18Dec 9, 2025Updated 8 months ago
- Composable transformation of sequences using clojure-inspired transducers☆40Aug 31, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Elm eureka is a rust library for parsing elm projects and elm code.☆10May 6, 2018Updated 8 years ago
- 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
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- A clean, lean PHP beanstalkd client☆15May 31, 2016Updated 10 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Android app that tracks tremors and recommends follow up action☆12Sep 17, 2017Updated 8 years ago
- An experimental debugger for Elm☆80Dec 1, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimental binary decoder☆10Apr 15, 2017Updated 9 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- Instapaper API wrapper for iOS and Mac OS☆17Feb 21, 2011Updated 15 years ago
- Properly install things from Github for Elm☆15Oct 2, 2017Updated 8 years ago
- A multipart parser written in Ruby☆17Jan 27, 2018Updated 8 years ago
- Node.js CLI Client for Tezos using eztz.js☆14Nov 25, 2017Updated 8 years ago
- A double ended queue for Elm☆20Dec 8, 2022Updated 3 years ago