Bidirectional type checker for the simply typed lambda calculus
☆15Feb 4, 2020Updated 6 years ago
Alternatives and similar repositories for elm-stlc
Users that are interested in elm-stlc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Rust library and CLI for computing optimal and heuristic tree decompositions☆13Feb 19, 2025Updated last year
- A statically typed spreadsheet application w/testing as a first class citizen☆17Jan 4, 2025Updated last year
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated last year
- todomvc example with lustre☆24Apr 22, 2025Updated 11 months ago
- File globbing for Gleam☆12Dec 2, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Yjs Gleam Bindings☆10Jan 2, 2026Updated 3 months ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- Map between IETF language tags and OpenType language system tags☆12Aug 20, 2020Updated 5 years ago
- A simple JSON Schema Gleam library☆18Jul 30, 2025Updated 8 months ago
- Progress bars for gleam.☆14Jul 27, 2025Updated 8 months ago
- A CLI tool for documenting Gleam modules☆15Sep 17, 2025Updated 6 months ago
- ⭐️ Soothing pastel library for Gleam☆32Mar 30, 2026Updated last week
- A library for interacting with Plunk (https://useplunk.com) in Gleam☆12Jun 4, 2025Updated 10 months ago
- A website monitoring tool written in gleam/mist/lustre☆36May 28, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An implementation of a Music-N-like language in JavaScript☆13Jan 26, 2015Updated 11 years ago
- A simple parser combinator library that just works☆19Jul 22, 2025Updated 8 months ago
- Elm-to-Gleam transpiler☆16Feb 11, 2025Updated last year
- A multi paradigm scripting language for elm☆15Oct 1, 2021Updated 4 years ago
- A Game Boy Advance emulator written in Rust☆25Jul 3, 2023Updated 2 years ago
- Small web code editor☆14Sep 27, 2024Updated last year
- Powerful and easy runtime type checking☆32Aug 19, 2024Updated last year
- Lightweight and type-safe parser combinators for Java.☆39Nov 15, 2025Updated 4 months ago
- This is a fork of the Typio Form Recovery Chrome Extension from Bitbucket: https://bitbucket.org/nicklassandell/chrome-form-recovery☆25Mar 29, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Mar 23, 2019Updated 7 years ago
- Everything but.☆16Mar 22, 2026Updated 2 weeks ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 10 years ago
- 🍒 An EXPERIMENTAL library with basic functions.☆21Feb 10, 2021Updated 5 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- Elm decoder generator☆18Feb 24, 2021Updated 5 years ago
- A friendly web framework oriented towards fast response times and a lightweight or serverless backend, written in Gleam!☆26Jul 16, 2025Updated 8 months ago
- Elegant recursion without blowing the stack☆19Jul 2, 2023Updated 2 years ago
- Some boilerplate code used across the @actions-rs Actions☆11Jan 3, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- UTM builder for Packer☆59Mar 25, 2026Updated 2 weeks ago
- A simple little transpiler generator for node.js☆28Jul 18, 2016Updated 9 years ago
- ☆40Nov 29, 2022Updated 3 years ago
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Jul 8, 2011Updated 14 years ago
- Digital boardgames on the gleam programming language☆23Mar 28, 2024Updated 2 years ago