ash-project/crux

Library for boolean satisfiability solving and expression manipulation.

GitHub repository with 12 stars and 3 forks.

Language: Elixir

Topics: elixir, sat-solver

Open provider repository

Latest metric snapshot

2026-06-05: 12 stars and 3 forks.

Similar repositories

  1. 1. plausible/analytics

    Open source, privacy-first web analytics. Lightweight, cookie-free Google Analytics alternative. Self-hosted or cloud.

    GitHub repository with 26,841 stars and 1,589 forks.

    Trending score: 1.92; stars gained: +80; forks gained: +6.

    Language: Elixir

    Topics: analytics, privacy, elixir, phoenix, postgresql, tailwindcss

  2. 2. firezone/firezone

    Enterprise-ready zero-trust access platform built on WireGuard®.

    GitHub repository with 8,636 stars and 413 forks.

    Trending score: 1.35; stars gained: +3; forks gained: +0.

    Language: Elixir

    Topics: cloud, devsecops, elixir, elixir-lang, firewall, liveview

  3. 3. agentjido/jido

    🤖 Autonomous agent framework for Elixir. Built for distributed, autonomous behavior and dynamic workflows.

    GitHub repository with 1,725 stars and 105 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +1.

    Language: Elixir

    Topics: agent, ai, artificial-intelligence, elixir, event-driven-architecture, functional-programming

  4. 4. supabase/realtime

    Broadcast, Presence, and Postgres Changes via WebSockets

    GitHub repository with 7,575 stars and 437 forks.

    Trending score: 0.76; stars gained: +5; forks gained: +0.

    Language: Elixir

    Topics: elixir, postgres, postgresql, realtime, phoenix, phoenix-framework

  5. 5. CarterPerez-dev/exs-cyberjob-scraper

    Web scraper, written in Elixir, that pulls cybersecurity job postings from public hiring APIs, isolates the genuine cybersecurity roles, and reports which certifications employers ask for most. 💜

    GitHub repository with 20 stars and 1 forks.

    Trending score: 0.71; stars gained: +4; forks gained: +0.

    Language: Elixir

    Topics: certifications, certs, cissp, comptia, cyberjobs, cybersecurity

  6. 6. expert-lsp/expert

    Official Elixir Language Server Protocol implementation

    GitHub repository with 2,000 stars and 105 forks.

    Trending score: 0.69; stars gained: +4; forks gained: +0.

    Language: Elixir

    Topics: elixir, language-server-protocol, lsp

Trending in Elixir

  1. 1. plausible/analytics

    Open source, privacy-first web analytics. Lightweight, cookie-free Google Analytics alternative. Self-hosted or cloud.

    GitHub repository with 26,841 stars and 1,589 forks.

    Trending score: 1.92; stars gained: +80; forks gained: +6.

    Language: Elixir

    Topics: analytics, privacy, elixir, phoenix, postgresql, tailwindcss

  2. 2. firezone/firezone

    Enterprise-ready zero-trust access platform built on WireGuard®.

    GitHub repository with 8,636 stars and 413 forks.

    Trending score: 1.35; stars gained: +3; forks gained: +0.

    Language: Elixir

    Topics: cloud, devsecops, elixir, elixir-lang, firewall, liveview

  3. 3. elixir-lang/elixir

    Elixir is a dynamic, functional language for building scalable and maintainable applications

    GitHub repository with 26,481 stars and 3,491 forks.

    Trending score: 1.16; stars gained: +11; forks gained: +2.

    Language: Elixir

  4. 4. agentjido/jido

    🤖 Autonomous agent framework for Elixir. Built for distributed, autonomous behavior and dynamic workflows.

    GitHub repository with 1,725 stars and 105 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +1.

    Language: Elixir

    Topics: agent, ai, artificial-intelligence, elixir, event-driven-architecture, functional-programming

  5. 5. supabase/realtime

    Broadcast, Presence, and Postgres Changes via WebSockets

    GitHub repository with 7,575 stars and 437 forks.

    Trending score: 0.76; stars gained: +5; forks gained: +0.

    Language: Elixir

    Topics: elixir, postgres, postgresql, realtime, phoenix, phoenix-framework

  6. 6. CarterPerez-dev/exs-cyberjob-scraper

    Web scraper, written in Elixir, that pulls cybersecurity job postings from public hiring APIs, isolates the genuine cybersecurity roles, and reports which certifications employers ask for most. 💜

    GitHub repository with 20 stars and 1 forks.

    Trending score: 0.71; stars gained: +4; forks gained: +0.

    Language: Elixir

    Topics: certifications, certs, cissp, comptia, cyberjobs, cybersecurity

Trending topic: elixir

  1. 1. plausible/analytics

    Open source, privacy-first web analytics. Lightweight, cookie-free Google Analytics alternative. Self-hosted or cloud.

    GitHub repository with 26,841 stars and 1,589 forks.

    Trending score: 1.92; stars gained: +80; forks gained: +6.

    Language: Elixir

    Topics: analytics, privacy, elixir, phoenix, postgresql, tailwindcss

  2. 2. firezone/firezone

    Enterprise-ready zero-trust access platform built on WireGuard®.

    GitHub repository with 8,636 stars and 413 forks.

    Trending score: 1.35; stars gained: +3; forks gained: +0.

    Language: Elixir

    Topics: cloud, devsecops, elixir, elixir-lang, firewall, liveview

  3. 3. kreuzberg-dev/kreuzberg

    A polyglot document intelligence framework with a Rust core. Extract text, metadata, images, and structured information from PDFs, Office documents, images, and 97+ formats. Available for Rust, Python, Ruby, Java, Go, PHP, Elixir, C#, R, C, TypeScript (Node/Bun/Wasm/Deno)- or use via CLI, REST API, or MCP server.

    GitHub repository with 8,443 stars and 497 forks.

    Trending score: 1.04; stars gained: +11; forks gained: +0.

    Language: Rust

    Topics: text-extraction, document-intelligence, metadata-extraction, pdf-extraction, pdfium, python

  4. 4. dependabot/dependabot-core

    🤖 Dependabot's core logic for creating update PRs.

    GitHub repository with 5,614 stars and 1,411 forks.

    Trending score: 0.99; stars gained: +5; forks gained: +2.

    Language: Ruby

    Topics: elixir, ruby, php, python, javascript, java

  5. 5. agentjido/jido

    🤖 Autonomous agent framework for Elixir. Built for distributed, autonomous behavior and dynamic workflows.

    GitHub repository with 1,725 stars and 105 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +1.

    Language: Elixir

    Topics: agent, ai, artificial-intelligence, elixir, event-driven-architecture, functional-programming

  6. 6. supabase/realtime

    Broadcast, Presence, and Postgres Changes via WebSockets

    GitHub repository with 7,575 stars and 437 forks.

    Trending score: 0.76; stars gained: +5; forks gained: +0.

    Language: Elixir

    Topics: elixir, postgres, postgresql, realtime, phoenix, phoenix-framework