Elixir + Erlang bindings for the PicoSAT solver
☆34Mar 1, 2024Updated 2 years ago
Alternatives and similar repositories for picosat_elixir
Users that are interested in picosat_elixir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The extension for building state machines with Ash resources.☆37Oct 25, 2026Updated last week
- Library for boolean satisfiability solving and expression manipulation.☆14Oct 25, 2026Updated last week
- zig linear algebra bindings for nx☆34Feb 17, 2021Updated 5 years ago
- Aggregatable and consistent errors for Elixir☆36Oct 25, 2026Updated last week
- Source for various talks I've given☆14Mar 24, 2026Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- "Cookies with Contextual Caveats" for Elixir☆53Aug 3, 2023Updated 3 years ago
- Securely send Phoenix.PubSub one-way, over long distances☆14Sep 8, 2020Updated 6 years ago
- multiverse support for elixir☆13Aug 22, 2026Updated 2 months ago
- Test factories for Ash resources☆15Dec 10, 2025Updated 10 months ago
- Tools for using Geo, Topo and PostGIS with Ash☆32Nov 25, 2024Updated last year
- Elixir library that provides Command Query Responsibility Segregation (CQRS) and Event-Sourcing (ES) patterns for the Ash Framework☆29May 12, 2026Updated 5 months ago
- Elixir Logger Backend that writes to the Linux Ramoops driver☆11Oct 12, 2026Updated 3 weeks ago
- Image server for Plug applications for streaming image transformations☆13Aug 18, 2026Updated 2 months ago
- Erlang/Elixir interface to MiniZinc.☆47Nov 14, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Your events have a story to tell.☆89Oct 2, 2026Updated last month
- ☆32Oct 23, 2026Updated last week
- TimescaleDB made easy with Ecto☆130Jul 22, 2023Updated 3 years ago
- A library for declaration and discovery of telemetry events☆36Jul 10, 2024Updated 2 years ago
- Stateful generative testing for Elixir implemented on top of StreamData☆13Jan 18, 2019Updated 7 years ago
- A Phoenix LiveView component offering an interactive IEx shell☆71Mar 17, 2026Updated 7 months ago
- Conveniences for querying ClickHouse with Req☆21Jun 29, 2026Updated 4 months ago
- Declare forms inside an Ash resource, get a themed, policy-aware Phoenix LiveView form for every action☆24Jun 15, 2026Updated 4 months ago
- The AppSignal APM integration for Ash Framework☆10Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- FSM implementation generated from Mermaid/PlantUML textual representation☆130Aug 1, 2026Updated 3 months ago
- Elixir Circuits device simulator☆22Oct 12, 2026Updated 3 weeks ago
- An Ecto SQLite3 adapter.☆342Oct 20, 2026Updated last week
- Easy & flexible traffic filtering with Elixir☆87Mar 20, 2026Updated 7 months ago
- A schema based keyword list option validator.☆50Jul 7, 2025Updated last year
- Constraint programming solver☆65Oct 23, 2026Updated last week
- ☆28Updated this week
- Spear event store adapter for Commanded☆20May 21, 2024Updated 2 years ago
- Compile-time bridge from Ash Framework resources to Jido Action modules☆40Oct 26, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Ash Neo4j datalayer☆16Jun 27, 2026Updated 4 months ago
- Use Bluetooth LE in Elixir☆118Jun 2, 2026Updated 5 months ago
- Clarity is an interactive introspection and visualization tool for Elixir, Ash and Phoenix projects.☆44Updated this week
- Fireside is a tool to install and upgrade code templates that are themselves Elixir apps.☆15Jun 24, 2025Updated last year
- Hardware design files for Soleil, an open source power management and sleep control board for Raspberry Pi☆22Apr 3, 2025Updated last year
- Unofficial DocuSign Elixir Library used to interact with the eSign REST API☆18Oct 22, 2026Updated last week
- Send a message from a shell script to the BEAM☆16Updated this week