Stars
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
A publishing tool for the distributed web.
Open source DocuSign alternative. Create, fill, and sign digital documents ✍️
Query for information about values in elm source files.
A new kind of database that's distributed across your frontend, containers, serverless functions and its own storage cloud.
A showcase of awesome programming language projects and resources written in Elm.
guida-lang / compiler
Forked from elm/compilerGuida is a functional programming language that builds upon the solid foundation of Elm, offering backward compatibility with all existing Elm 0.19.1 projects
An open-source protocol enabling high-performance, local-first, peer-to-peer, end-to-end encrypted collaborative apps.
Conduit-like demo app, demonstrating the use of elm-pghttp
A sane application development framework for the desktop.
Convert PDF to markdown + JSON quickly with high accuracy
Direct Manipulation Programming for HTML/SVG
Command-line program to download videos from YouTube.com and other video sites
Everything related to Bookalope and its REST API.
Met de Kennisgraaf-app kun je kennisgrafen opschrijven in een eenvoudig tekstformaat en een diagram ervan laten tekenen, zonder de data naar een server te hoeven sturen.
Type inference support for elm-syntax ASTs
Play with fluids in your browser (works even on mobile)
Shared data types for building collaborative software
A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.