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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 9 months ago
- Progress bars for gleam.☆14Jul 27, 2025Updated 9 months ago
- ⭐️ Soothing pastel library for Gleam☆32Apr 21, 2026Updated last week
- A CLI tool for documenting Gleam modules☆15Sep 17, 2025Updated 7 months ago
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 9 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.☆40Nov 15, 2025Updated 5 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
- 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.
- ☆13Mar 23, 2019Updated 7 years ago
- Everything but.☆16Apr 5, 2026Updated 3 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 9 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- UTM builder for Packer☆59Mar 25, 2026Updated last month
- 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