The Elm programming language in the Spoofax language workbench
☆10Jul 10, 2015Updated 10 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:
- Easy and secure Ethereum HD wallet. Focused on Mobile and great UX☆23Jan 21, 2018Updated 8 years ago
- Minimal IRC client in Elm.☆18Jun 5, 2019Updated 6 years ago
- CodeMirror wrapper for Elm☆19Mar 26, 2016Updated 10 years ago
- Haskell-like STM for Swift☆45Dec 29, 2015Updated 10 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ETC☆15Aug 27, 2021Updated 4 years ago
- Shadertoy for Elm☆33Apr 20, 2017Updated 8 years ago
- Elixir Protocol Buffers Compiler☆22Apr 9, 2024Updated last year
- monerobux modules for sopel irc bot☆11Aug 24, 2021Updated 4 years ago
- Nice handling for keyboard inputs in Elm☆50May 16, 2018Updated 7 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- An example Task Manager project that has been created using Lagom.☆18Mar 22, 2019Updated 7 years ago
- Touch event package for Elm lang☆10Nov 26, 2018Updated 7 years ago
- ElmConf 2016 Summary☆10Sep 27, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- Somewhat low-level API for getting smoother animations with requestAnimationFrame☆27May 24, 2018Updated 7 years ago
- Convenience functions for working with Json.☆38Dec 7, 2022Updated 3 years ago
- A library with extra functions for the dictionary type in elm core.☆13Dec 12, 2022Updated 3 years ago
- Flat matrix implementation for Elm☆12Jun 4, 2018Updated 7 years ago
- Deprecated, please see:☆11Aug 9, 2016Updated 9 years ago
- ☆13Jul 14, 2018Updated 7 years ago
- Composable transformation of sequences using clojure-inspired transducers☆40Aug 31, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 4 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 3 years ago
- Example Elm application using Web Audio☆36Jul 24, 2017Updated 8 years ago
- Elm eureka is a rust library for parsing elm projects and elm code.☆10May 6, 2018Updated 7 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Multiple caching levels for Rails. Kinda like your CPU's L1/L2 caches.☆19Jul 26, 2023Updated 2 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- A blank Lift app ready for Heroku☆22Sep 5, 2013Updated 12 years ago
- An experimental debugger for Elm☆79Dec 1, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Experimental binary decoder☆10Apr 15, 2017Updated 8 years ago
- Properly install things from Github for Elm☆15Oct 2, 2017Updated 8 years ago
- An example project for doing grid search in MLlib☆13Nov 27, 2014Updated 11 years ago
- Node.js CLI Client for Tezos using eztz.js☆14Nov 25, 2017Updated 8 years ago
- A clean, lean PHP beanstalkd client☆15May 31, 2016Updated 9 years ago
- A long, two-lines fish prompt theme☆13May 17, 2022Updated 3 years ago
- A double ended queue for Elm☆19Dec 8, 2022Updated 3 years ago