QuinnWilton / gleam_logic
Logic programming with µKanren
☆11Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for gleam_logic
- A lightweight erlang runtime☆21Updated 3 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Type providers (Code generation) for Gleam programs that use Mix.☆11Updated 3 years ago
- A parser combinator library in Gleam, heavily inspired by elm-parser☆11Updated 3 years ago
- ⚗️ A Rust client for the Hex package manager☆21Updated 4 months ago
- An opinionated OTP framework wrapper☆26Updated 4 months ago
- jsone bindings for the Gleam language☆18Updated last year
- Gleam Client for Sentry Error tracking☆11Updated 3 years ago
- A Mix plugin to use Caramel☆16Updated 3 years ago
- A Gleam Library for adding colours in Terminal☆10Updated 9 months ago
- A test runner for Gleam and Erlang.☆13Updated 3 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆32Updated 4 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 3 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 2 years ago
- A simple interpreted language written in Elixir☆21Updated 7 years ago
- 🧪 All sorts of ideas and nonsense☆12Updated 2 years ago
- A simple parser combinator package written in Gleam.☆17Updated 2 years ago
- 👷 Erlang/OTP on GitHub Actions☆22Updated last year
- WebAssembly compiler and runtime for BEAM languages☆31Updated 5 years ago
- Transform Erlang or Elixir data into Gleam data☆26Updated last year
- A tiny library for processing Erlang BEAM file in Rust☆21Updated last year
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- A Gleam interface to Erlang's array module, for sparse, efficiently-implemented functional arrays. 🐝☆9Updated 5 months ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 2 years ago
- Erlang AST to Elixir AST☆18Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 6 years ago
- Elmer compiler☆12Updated 8 years ago