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☆24Apr 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 to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- Yjs Gleam Bindings☆10Jan 2, 2026Updated 6 months 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 11 months ago
- ⭐️ Soothing pastel library for Gleam☆33Updated this week
- Progress bars for gleam.☆15Jul 27, 2025Updated 11 months ago
- Prebuilt linux binaries of Erlang/OTP☆26Jul 3, 2026Updated 2 weeks ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An implementation of a Music-N-like language in JavaScript☆13Jan 26, 2015Updated 11 years ago
- Elm-to-Gleam transpiler☆17Feb 11, 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 3 weeks ago
- A Game Boy Advance emulator written in Rust☆25Jul 3, 2023Updated 3 years ago
- Small web code editor☆14Sep 27, 2024Updated last year
- A CLI tool for documenting Gleam modules☆15Sep 17, 2025Updated 10 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
- 🐕 websocket client in Gleam☆19Jun 11, 2026Updated last month
- 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 dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 10 years ago
- Everything but.☆16Apr 5, 2026Updated 3 months ago
- 🍒 An EXPERIMENTAL library with basic functions.☆21Feb 10, 2021Updated 5 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 4 years ago
- ☆13Mar 23, 2019Updated 7 years ago
- Elegant recursion without blowing the stack☆20Jul 4, 2026Updated 2 weeks 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 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple parser combinator library that just works☆19Jul 22, 2025Updated 11 months ago
- 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
- ☆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☆28Jul 8, 2011Updated 15 years ago