michallepicki / tibe
Ahnfelt's Type Inference by Example but implemented in Gleam
☆12Updated last year
Alternatives and similar repositories for tibe
Users that are interested in tibe are comparing it to the libraries listed below
Sorting:
- Cara language compiler☆45Updated 6 months ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆99Updated 2 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- The UI for Unison Share☆31Updated this week
- A package for creating helpful, and pretty CLI messages.☆31Updated last year
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Roc Build Tool☆48Updated 2 years ago
- A linter for Gleam, written in Gleam☆26Updated last year
- A Gleam library for comparing strings/lists and producing a textual (styled) representation of the differences.☆17Updated last year
- Unison Share's backend server☆24Updated this week
- Deno.serve for Gleam ✨☆16Updated last year
- Make charts! Alpha version.☆15Updated 3 years ago
- An ergonomic command-line argument parser for the Roc language.☆51Updated 3 months ago
- A small embeddable scripting language for Gleam.☆17Updated 2 years ago
- 🐘 Use PostgreSQL databases from Roc☆46Updated 6 months ago
- A string parsing library heavily inspired by elm/parser.☆70Updated 4 months ago
- A fullstack "framework" for Gleam☆12Updated 2 years ago
- A Gleam compiler written in Gleam☆79Updated last month
- A basic webserver in Roc☆90Updated last week
- refinement types for Elm☆16Updated last year
- Guida is a functional programming language that builds upon the solid foundation of Elm, offering backward compatibility with all existin…☆47Updated last week
- A simple Parser for Roc☆28Updated 3 months ago
- Just a list of Awesome Alt Langs to check out☆99Updated last year
- Advent of Code in Roc☆14Updated 3 years ago
- A multi paradigm scripting language for elm☆15Updated 3 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- 🌐 A library to create HTML in Roc☆17Updated last week
- All kinds of Roc examples☆36Updated this week
- Stack based language written in Roc☆17Updated 9 months ago
- Run a tree of Tasks concurrently, call JS functions as Tasks (Task Ports).☆39Updated last year