Elixir + Erlang bindings for the PicoSAT solver
☆33Mar 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:
- Test factories for Ash resources☆14Dec 10, 2025Updated 4 months ago
- Tools for using Geo, Topo and PostGIS with Ash☆32Nov 25, 2024Updated last year
- zig linear algebra bindings for nx☆34Feb 17, 2021Updated 5 years ago
- The extension for building state machines with Ash resources.☆36Apr 22, 2026Updated last week
- "Cookies with Contextual Caveats" for Elixir☆53Aug 3, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A library for declaration and discovery of telemetry events☆36Jul 10, 2024Updated last year
- Spear event store adapter for Commanded☆20May 21, 2024Updated last year
- Conveniences for querying ClickHouse with Req☆20Jan 23, 2025Updated last year
- Your events have a story to tell.☆82Jan 16, 2026Updated 3 months ago
- The extension for integrating Ash resources with Oban.☆39Apr 14, 2026Updated 2 weeks ago
- Source for various talks I've given☆14Mar 24, 2026Updated last month
- An Elixir wrapper around the Rust Lingua language detection library.☆16Apr 6, 2026Updated 3 weeks ago
- Elixir implementation of bidirectional map and multimap☆34Oct 21, 2025Updated 6 months ago
- Ship C library with Zig-based NIF for Elixir☆15Oct 26, 2025Updated 6 months ago
- 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.
- A Phoenix LiveView component offering an interactive IEx shell☆71Mar 17, 2026Updated last month
- Comprehensive Excel file (.xlsx, .xlsm) manipulation capabilities for Elixir☆24Jun 5, 2025Updated 10 months ago
- A groovy open source scrum application utilizing the STAPLE stack (Surface, Tailwind, Ash, Phoenix, LiveView, Elixir)☆28Oct 11, 2023Updated 2 years ago
- Provides an AWS CloudFront reporter for Elixir Telemetry.Metrics definitions☆26Mar 28, 2026Updated last month
- ☆11Jun 21, 2024Updated last year
- ☆32Mar 6, 2026Updated last month
- ☆16Apr 13, 2022Updated 4 years ago
- Use Bluetooth LE in Elixir☆118Mar 31, 2025Updated last year
- Use liquid crystal display (LCD) in Elixir☆11Dec 29, 2025Updated 4 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.
- Constraint programming solver☆63Apr 23, 2026Updated last week
- Securely send Phoenix.PubSub one-way, over long distances☆14Sep 8, 2020Updated 5 years ago
- There can only be one (process in your cluster)!☆136Oct 22, 2025Updated 6 months ago
- An embedded, distributed key-value store with guarantees beyond ACID.☆79Mar 16, 2026Updated last month
- Erlang/Elixir interface to MiniZinc.☆46Nov 14, 2025Updated 5 months ago
- This mix task allows you to start a server anywhere on the file system and serve files.☆39Feb 18, 2022Updated 4 years ago
- Image server for Plug applications for streaming image transformations☆12Dec 7, 2024Updated last year
- An Ecto SQLite3 adapter.☆335Mar 27, 2026Updated last month
- Modular Monoliths in Elixir☆12Mar 17, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- FSM implementation generated from Mermaid/PlantUML textual representation☆119Apr 2, 2026Updated 3 weeks ago
- The CSV data layer for Ash Framework☆16Apr 13, 2026Updated 2 weeks ago
- Elixir client for the ORY Hydra administrative API☆18Jul 8, 2024Updated last year
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆39Mar 14, 2020Updated 6 years ago
- Rclex: ROS 2 Client Library for Elixir☆150Apr 11, 2026Updated 2 weeks ago
- Auth0 OAuth2 strategy for Überauth.☆72Apr 3, 2023Updated 3 years ago
- The SQLite data layer for Ash Framework.☆27Apr 22, 2026Updated last week