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
- A Mix plugin to use Caramel☆16Updated 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 4 years ago
- An opinionated OTP framework wrapper☆26Updated 2 months ago
- Sandboxable Mix (Elixir) project Nix evaluator☆16Updated 3 months ago
- Prolog interpreter/compiler☆33Updated 4 years ago
- Logic programming with µKanren☆11Updated 4 years ago
- A lightweight erlang runtime☆21Updated 4 years ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated last week
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- 🧪 This is not real code☆12Updated 2 years ago
- A simple interpreted language written in Elixir☆21Updated 8 years ago
- 👷 Erlang/OTP on GitHub Actions☆22Updated last year
- Elixir-based SPA sites without the SPA☆10Updated 2 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- A parser combinator library in Gleam, heavily inspired by elm-parser☆11Updated 4 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- ⚗️ A Rust client for the Hex package manager☆23Updated 2 weeks ago
- A Hindley-Milner type inference implementation in Prolog☆13Updated 10 years ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- ☆32Updated last year
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Erlang AST to Elixir AST☆18Updated 4 years ago
- A Web Framework for LFE☆17Updated 8 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆38Updated 2 years ago
- A tool to automatically convert Hex packages to the Nix Expression format☆32Updated 4 years ago