mracos / asdf-swiprolog
SWI-Prolog plugin for the asdf version manager
☆10Updated last year
Alternatives and similar repositories for asdf-swiprolog:
Users that are interested in asdf-swiprolog are comparing it to the libraries listed below
- An opinionated OTP framework wrapper☆26Updated 3 months ago
- Sandboxable Mix (Elixir) project Nix evaluator☆16Updated 4 months ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Type providers (Code generation) for Gleam programs that use Mix.☆11Updated 4 years ago
- ☆14Updated 2 weeks ago
- A Mix plugin to use Caramel☆16Updated 3 years ago
- A lightweight erlang runtime☆21Updated 4 years ago
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated last month
- A simple interpreted language written in Elixir☆22Updated 8 years ago
- Logic programming with µKanren☆11Updated 4 years ago
- Webmentions implementation for Elixir☆20Updated last month
- The LFE MACHINE MANUAL☆16Updated last year
- A Gleam Library for adding colours in Terminal☆11Updated last year
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- Mustache templates in Elm☆15Updated 7 years ago
- Prolog interpreter/compiler☆33Updated 4 years ago
- Supervised Session Actors☆22Updated 8 years ago
- 👷 Erlang/OTP on GitHub Actions☆22Updated last year
- 🧪 This is not real code☆12Updated 2 years ago
- Pure OCaml library to read and write tar files☆56Updated last month
- Erlang to Scheme compiler☆36Updated 13 years ago
- ⚗️ A Rust client for the Hex package manager☆24Updated last month
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆46Updated 3 years ago
- Tree-sitter Grammar for Erlang☆33Updated 2 years ago
- OCaml plugin for ASDF version manager☆13Updated 5 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago