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 6 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 2 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 8 months ago
- A Gleam library for comparing strings/lists and producing a textual (styled) representation of the differences.☆20Updated last year
- 🐘 Use PostgreSQL databases from Roc☆52Updated 5 months ago
- A string parsing library heavily inspired by elm/parser.☆80Updated 4 months ago
- A small embeddable scripting language for Gleam.☆17Updated 3 years ago
- A linter for Gleam, written in Gleam☆27Updated last year
- transpile elm to F#☆23Updated 2 months ago
- The UI for Unison Share☆33Updated last week
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A basic webserver in Roc☆102Updated last month
- A simple interpreted language written in Elixir☆26Updated 8 years ago
- An ergonomic command-line argument parser for the Roc language.☆54Updated 10 months ago
- Markdown parser and html renderer written in Gleam language.☆10Updated last year
- refinement types for Elm☆16Updated 2 years ago
- Advent of Code in Roc☆14Updated 3 years ago
- 👾 A Lisp interpreter in Gleam!☆46Updated 8 months ago
- Skeleton app with contrived client/server examples☆20Updated 3 years ago
- Rufus is a programming language for people that build and operate fault tolerant systems.☆33Updated 3 months ago
- A package for creating helpful, and pretty CLI messages.☆32Updated last year
- Guida is a functional programming language that builds upon the solid foundation of Elm, offering backward compatibility with all existin…☆72Updated 2 weeks ago
- Data Structures written in the Gleam programming language.☆28Updated 3 months ago
- Manage Elm tools.☆57Updated 5 months ago
- Server side rendering with hydration for Elm☆32Updated last year
- A simple Parser for Roc☆31Updated 10 months ago
- ETC☆15Updated 4 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 7 years ago