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☆43Updated 6 months ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆99Updated 2 years ago
- 👾 A Lisp interpreter in Gleam!☆37Updated 3 weeks ago
- Roc Build Tool☆48Updated 2 years ago
- A package for creating helpful, and pretty CLI messages.☆30Updated 11 months ago
- A simple Parser for Roc☆28Updated 2 months ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- A simple interpreted language written in Elixir☆22Updated 8 years ago
- The UI for Unison Share☆31Updated this week
- 🌐 A library to create HTML in Roc☆17Updated 2 months ago
- 🐘 Use PostgreSQL databases from Roc☆46Updated 6 months ago
- A linter for Gleam, written in Gleam☆26Updated last year
- A Gleam Library for adding colours in Terminal☆11Updated last year
- Unison Share's backend server☆24Updated last week
- Try Gleam in your browser!☆34Updated 3 years ago
- Stack based language written in Roc☆17Updated 8 months ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- A string parsing library heavily inspired by elm/parser.☆69Updated 3 months ago
- Just a list of Awesome Alt Langs to check out☆99Updated last year
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- A basic webserver in Roc☆90Updated 2 weeks ago
- Deno.serve for Gleam ✨☆16Updated last year
- A friendly Lustre package to help you build a router, handle links, and manage URLs.☆35Updated last week
- A fullstack "framework" for Gleam☆12Updated 2 years ago
- refinement types for Elm☆16Updated last year
- Gleam Library to generate QBE IR code☆13Updated 3 weeks ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- A small embeddable scripting language for Gleam.☆16Updated 2 years ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆46Updated 3 years ago