QuinnWilton / gleam_logic
Logic programming with µKanren
☆11Updated 4 years ago
Alternatives and similar repositories for gleam_logic:
Users that are interested in gleam_logic are comparing it to the libraries listed below
- A lightweight erlang runtime☆21Updated 4 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- A parser combinator library in Gleam, heavily inspired by elm-parser☆11Updated 4 years ago
- 👷 Erlang/OTP on GitHub Actions☆22Updated last year
- jsone bindings for the Gleam language☆18Updated 2 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- A Gleam Library for adding colours in Terminal☆10Updated last year
- WebAssembly compiler and runtime for BEAM languages☆32Updated 5 years ago
- An opinionated OTP framework wrapper☆26Updated 2 months ago
- ⚗️ A Rust client for the Hex package manager☆23Updated 2 weeks ago
- A Mix plugin to use Caramel☆16Updated 3 years ago
- Type providers (Code generation) for Gleam programs that use Mix.☆11Updated 4 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- A simple interpreted language written in Elixir☆21Updated 8 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆34Updated 4 years ago
- A test runner for Gleam and Erlang.☆13Updated 4 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- rebar3 plugin for compiling alpaca modules☆11Updated 4 years ago
- Elmer compiler☆12Updated 8 years ago
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- Pure random data generation library, appropriate for realistic simulations in the Erlang ecosystem☆18Updated 6 months ago
- Erlang AST to Elixir AST☆18Updated 4 years ago
- A tiny library for processing Erlang BEAM file in Rust☆21Updated last year
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆38Updated 2 years ago
- Parser combinator library for Elixir☆12Updated 3 months ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago