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 last year
- File globbing for Gleam☆12Dec 2, 2024Updated last year
- 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.
- Yjs Gleam Bindings☆10Jan 2, 2026Updated 5 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 10 months ago
- Progress bars for gleam.☆14Jul 27, 2025Updated 10 months ago
- ⭐️ Soothing pastel library for Gleam☆34Jun 2, 2026Updated last week
- A CLI tool for documenting Gleam modules☆15Sep 17, 2025Updated 8 months 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☆36May 28, 2024Updated 2 years ago
- 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.
- 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 10 months ago
- Elm-to-Gleam transpiler☆17Feb 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.☆40Nov 15, 2025Updated 6 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
- 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.
- ☆13Mar 23, 2019Updated 7 years ago
- Everything but.☆16Apr 5, 2026Updated 2 months 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 10 months ago
- Elegant recursion without blowing the stack☆20Jul 2, 2023Updated 2 years ago
- Some boilerplate code used across the @actions-rs Actions☆11Jan 3, 2022Updated 4 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.
- UTM builder for Packer☆61Mar 25, 2026Updated 2 months 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☆28Jul 8, 2011Updated 14 years ago
- Digital boardgames on the gleam programming language☆23Mar 28, 2024Updated 2 years ago