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
- todomvc example with lustre☆23Apr 22, 2025Updated last year
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated 2 years ago
- File globbing for Gleam☆12Dec 2, 2024Updated last year
- 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.
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- Map between IETF language tags and OpenType language system tags☆12Aug 20, 2020Updated 6 years ago
- Yjs Gleam Bindings☆10Aug 15, 2026Updated last month
- A simple JSON Schema Gleam library☆18Jul 30, 2025Updated last year
- ⭐️ Soothing pastel library for Gleam☆33Updated this week
- Prebuilt linux binaries of Erlang/OTP☆28Updated this week
- A library for interacting with Plunk (https://useplunk.com) in Gleam☆12Jun 4, 2025Updated last year
- A website monitoring tool written in gleam/mist/lustre☆37May 28, 2024Updated 2 years ago
- An implementation of a Music-N-like language in JavaScript☆13Jan 26, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Progress bars for gleam.☆15Jul 27, 2025Updated last year
- A multi paradigm scripting language for elm☆15Oct 1, 2021Updated 4 years ago
- Powerful and easy runtime type checking☆32Jun 23, 2026Updated 2 months ago
- Small web code editor☆14Sep 27, 2024Updated last year
- A CLI tool for documenting Gleam modules☆15Sep 17, 2025Updated last year
- 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
- 🐕 websocket client in Gleam☆18Jul 29, 2026Updated last month
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 10 years ago
- Everything but.☆16Apr 5, 2026Updated 5 months 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.
- 🍒 An EXPERIMENTAL library with basic functions.☆21Feb 10, 2021Updated 5 years ago
- Elm-to-Gleam transpiler☆17Feb 11, 2025Updated last year
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 4 years ago
- ☆13Mar 23, 2019Updated 7 years ago
- A Game Boy Advance emulator written in Rust☆25Jul 3, 2023Updated 3 years ago
- Elegant recursion without blowing the stack☆20Jul 4, 2026Updated 2 months ago
- A friendly web framework oriented towards fast response times and a lightweight or serverless backend, written in Gleam!☆27Jul 16, 2025Updated last year
- Elm decoder generator☆18Feb 24, 2021Updated 5 years ago
- Write HTML compliant email with peace of mind like Lustre 😌☆22Jun 28, 2026Updated 2 months 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.
- A simple parser combinator library that just works☆19Jul 22, 2025Updated last year
- Digital boardgames on the gleam programming language☆23Mar 28, 2024Updated 2 years ago
- A simple little transpiler generator for node.js☆28Jul 18, 2016Updated 10 years ago
- ☆41Nov 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☆28Jul 8, 2011Updated 15 years ago