michallepicki / tibeLinks
Ahnfelt's Type Inference by Example but implemented in Gleam
☆12Updated 2 years ago
Alternatives and similar repositories for tibe
Users that are interested in tibe are comparing it to the libraries listed below
Sorting:
- Cara language compiler☆50Updated 7 months ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated 2 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Roc Build Tool☆49Updated 3 years ago
- 🐘 Use PostgreSQL databases from Roc☆52Updated 6 months ago
- Advent of Code in Roc☆14Updated 3 years ago
- transpile elm to F#☆23Updated 3 months ago
- A string parsing library heavily inspired by elm/parser.☆80Updated 5 months ago
- Ordo: A minimalist language with row polymorphism☆85Updated 9 months ago
- A small embeddable scripting language for Gleam.☆17Updated 3 years ago
- A linter for Gleam, written in Gleam☆27Updated last year
- ETC☆15Updated 4 years ago
- Server side rendering with hydration for Elm☆32Updated last year
- The UI for Unison Share☆34Updated last month
- Markdown parser and html renderer written in Gleam language.☆10Updated last year
- A Gleam library for comparing strings/lists and producing a textual (styled) representation of the differences.☆20Updated last year
- Data Structures written in the Gleam programming language.☆30Updated 4 months ago
- Master thesis on developing a static type checker for Erlang☆27Updated 7 years ago
- 7GUIs in Elm.☆20Updated last year
- A multi paradigm scripting language for elm☆15Updated 4 years ago
- A drop-in, faster implementation of `Dict` from `elm/core`☆11Updated last month
- refinement types for Elm☆16Updated 2 years ago
- Guida is a functional programming language that builds upon the solid foundation of Elm, offering backward compatibility with all existin…☆72Updated this week
- A simple Parser for Roc☆31Updated 11 months ago
- Robust and extensible parser combinators for Gleam☆32Updated 3 months ago
- Erlang code generator for Idris 2☆143Updated 2 years ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- An ergonomic command-line argument parser for the Roc language.☆54Updated 11 months ago
- A pure Elm text editor based on Martin Janiczek's demo☆46Updated 3 years ago
- A fullstack "framework" for Gleam☆13Updated 2 years ago