bokner/solverl external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

bokner/solverl

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/bokner/solverl)

Close

bokner / solverlView on GitHubMore

• External links
• Readme badge

Erlang/Elixir interface to MiniZinc.

☆46Nov 14, 2025Updated 4 months ago

Alternatives and similar repositories for solverl

Users that are interested in solverl are comparing it to the libraries listed below

• bokner / solverview

  View on GitHub
  solverl+LiveView examples
  ☆17Sep 30, 2022Updated 3 years ago
• acharaakshit / RMiniZinc

  View on GitHub
  R Interface to MiniZinc
  ☆14Oct 17, 2021Updated 4 years ago
• mini-monkey / mini-monkey

  View on GitHub
  MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.
  ☆12Jan 27, 2021Updated 5 years ago
• ngoclinhng / acx

  View on GitHub
  An authorization library that supports access control mechanisms like ACL, RBAC in Elixir
  ☆12Apr 4, 2020Updated 5 years ago
• geolessel / live_view_demo

  View on GitHub
  Forkable repo for entries in Phoenix Phrenzy (https://phoenixphrenzy.com/)
  ☆11Oct 11, 2020Updated 5 years ago
• Lakret / csp

  View on GitHub
  Constraint satisfaction solvers in Elixir
  ☆25Mar 14, 2023Updated 3 years ago
• vigov5 / archmagi

  View on GitHub
  Forkable repo for entries in Phoenix Phrenzy (https://phoenixphrenzy.com/)
  ☆15Sep 28, 2019Updated 6 years ago
• SullysMustyRuby / active_memory

  View on GitHub
  A companion for Mnesia and ETS
  ☆39Jan 22, 2026Updated last month
• Ian-GL / live_view_demo

  View on GitHub
  Forkable repo for entries in Phoenix Phrenzy (https://phoenixphrenzy.com/)
  ☆12Sep 30, 2019Updated 6 years ago
• hauleth / ernie

  View on GitHub
  Efficient binary encoding for your data (based on Erlang's External Terms Format)
  ☆37Feb 1, 2020Updated 6 years ago
• hergetto / kino_libgraph

  View on GitHub
  Libgraph integration with Livebook
  ☆12Nov 19, 2025Updated 4 months ago
• unchartedelixir / livechart

  View on GitHub
  SpawnFest 2020 - Your description here..!
  ☆38Sep 13, 2020Updated 5 years ago
• lfeutre / nx

  View on GitHub
  LFE support for the Elixir Nx machine learning library
  ☆12Mar 13, 2021Updated 5 years ago
• opencensus-beam / opencensus-prometheus

  View on GitHub
  Export opencensus span metrics and statistics to Prometheus
  ☆18Jan 15, 2019Updated 7 years ago
• erlef / rebar3_sbom

  View on GitHub
  Rebar3 plugin to generate CycloneDX SBoM
  ☆12Updated this week
• gearnode / erl-ksuid

  View on GitHub
  KSUID generation and manipulation in Erlang.
  ☆11Jul 26, 2022Updated 3 years ago
• cogini / ansible-role-elixir-release

  View on GitHub
  Ansible role to deploy an Elixir/Phoenix release using systemd
  ☆17Oct 16, 2025Updated 5 months ago
• guitsaru / rest_client

  View on GitHub
  A REST client made with Phoenix LiveView
  ☆24Sep 29, 2020Updated 5 years ago
• bokner / fixpoint

  View on GitHub
  Constraint programming solver
  ☆63Updated this week
• alexwolf47 / Phoenix-Royale

  View on GitHub
  Forkable repo for entries in Phoenix Phrenzy (https://phoenixphrenzy.com/)
  ☆13Feb 16, 2025Updated last year
• b-erdem / sms-im

  View on GitHub
  The Missing Web UI for SMS Messaging
  ☆25Jan 4, 2023Updated 3 years ago
• cabol / gen_buffer

  View on GitHub
  A generic message buffer behaviour with pooling and back-pressure for Erlang/Elixir.
  ☆17Nov 26, 2022Updated 3 years ago
• kobil-systems / urepo

  View on GitHub
  ☆39May 4, 2022Updated 3 years ago
• shortishly / pgmp

  View on GitHub
  Erlang/OTP 25+ PostgreSQL client
  ☆51Dec 19, 2023Updated 2 years ago
• anfly0 / exBankID

  View on GitHub
  exBankID is a simple stateless API-client for the Swedish BankID API
  ☆17Mar 18, 2024Updated 2 years ago
• evadne / packmatic

  View on GitHub
  Zipping on the fly — Generate downloadable Zip streams by aggregating File or URL Sources
  ☆163Jan 19, 2026Updated 2 months ago
• aramallo / partisan

  View on GitHub
  High-performance, high-scalability distributed computing with Erlang and Elixir.
  ☆20Feb 8, 2023Updated 3 years ago
• bitwalker / picosat_elixir

  View on GitHub
  Elixir + Erlang bindings for the PicoSAT solver
  ☆33Mar 1, 2024Updated 2 years ago
• zwizwa / erl_tools

  View on GitHub
  Misc Erlang Tools
  ☆10Dec 12, 2023Updated 2 years ago
• Ianleeclark / machinery_display

  View on GitHub
  Generates graphs from Machinery state machines
  ☆14Oct 18, 2020Updated 5 years ago
• oskardrums / ebpf

  View on GitHub
  Erlang interface to eBPF
  ☆56Sep 22, 2023Updated 2 years ago
• fredyouhanaie / espace

  View on GitHub
  An Erlang Tuple Space implementation
  ☆10Nov 22, 2025Updated 3 months ago
• co0lsky / deep-work-hours-phoenix

  View on GitHub
  Deep Work Hours is a time tracking software built with Elixir, Phoenix, and Tailwind CSS.
  ☆38Jan 5, 2023Updated 3 years ago
• marcelotto / behaviour_reflection

  View on GitHub
  Get all modules implementing an Elixir behaviour
  ☆14May 12, 2020Updated 5 years ago
• siemens / JMiniZinc

  View on GitHub
  JMiniZinc
  ☆18Oct 13, 2020Updated 5 years ago
• szTheory / beamtoolbox

  View on GitHub
  Curated BEAM language libraries by category
  ☆29Jan 23, 2024Updated 2 years ago
• allen-garvey / phoenix-umbrella

  View on GitHub
  Elixir umbrella project of CMSs made with Phoenix
  ☆12Mar 12, 2026Updated last week
• jshmrtn / hygeia

  View on GitHub
  COVID-19 Tracing
  ☆42Jan 11, 2026Updated 2 months ago
• hissssst / pathex

  View on GitHub
  Fastest tool to access data in Elixir
  ☆360Aug 16, 2025Updated 7 months ago