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
- Cara language compiler☆41Updated 2 months ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated last year
- Roc Build Tool☆49Updated 2 years ago
- The UI for Unison Share☆30Updated 2 weeks ago
- Unison Share's backend server☆24Updated 2 weeks ago
- A simple parser combinator package written in Gleam.☆17Updated 2 years ago
- 🐘 Use PostgreSQL databases from Roc☆45Updated 2 months ago
- Gleam Library to generate QBE IR code☆13Updated 11 months ago
- A simple Parser for Roc☆28Updated last week
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 4 years ago
- All kinds of Roc examples☆33Updated this week
- Deno.serve for Gleam ✨☆15Updated last year
- 🌐 A library to create HTML in Roc☆14Updated this week
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- A friendly Lustre package to help you build a router, handle links, and manage URLs.☆30Updated 4 months ago
- A string parsing library heavily inspired by elm/parser.☆63Updated 3 weeks ago
- An ergonomic command-line argument parser for the Roc language.☆50Updated last week
- Just a list of Awesome Alt Langs to check out☆98Updated 9 months ago
- A small embeddable scripting language for Gleam.☆16Updated 2 years ago
- Advent of Code in Roc☆14Updated 2 years ago
- A linter for Gleam, written in Gleam☆26Updated 8 months ago
- The Nox programming language☆29Updated last year
- ✨ A package to help you easily pretty print structured data☆36Updated 8 months ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- A Gleam library for comparing strings/lists and producing a textual (styled) representation of the differences.☆16Updated 10 months ago
- Stack based language written in Roc☆13Updated 5 months ago
- A basic webserver in Roc☆85Updated this week
- Build wasm4 games using Roc☆47Updated 2 months ago
- 👾 A Lisp interpreter in Gleam!☆35Updated 10 months ago
- A package for creating helpful, and pretty CLI messages.☆29Updated 8 months ago