[experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades
☆20Nov 1, 2026Updated last week
Alternatives and similar repositories for hegel-erlang
Users that are interested in hegel-erlang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Elixir bindings for the OXC JavaScript toolchain — parse, transform, and minify JS/TS via Rust NIFs☆19Oct 7, 2026Updated last month
- Server-authoritative drag-and-drop node editor for Phoenix LiveView☆13Sep 1, 2026Updated 2 months ago
- Self-hosted, Elixir-native alternative to LiteLLM: one API for multi-provider routing, fallbacks, budgets, keys, and observability.☆27Oct 22, 2026Updated 2 weeks ago
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Mar 25, 2026Updated 7 months ago
- Distributed multi-agent framework for event-driven, graph-based computation. Elixir/Python, NATS event streaming, modular operator/XCS ar…☆14Mar 25, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Use your Ash actions in lua scripts via https://hexdocs.pm/lua. See the docs at https://hexdocs.pm/ash_lua☆15Nov 1, 2026Updated last week
- Build, Publish & Deploy Elixir Infrastructure to the Cloud with Docker & Terraform☆22Mar 27, 2023Updated 3 years ago
- 🤖 AIDevOS: AI-Driven Autonomous DevOps System | Multi-agent collaboration framework with DSPy integration for automated application deve…☆16Mar 25, 2026Updated 7 months ago
- Volt-powered static site generator for Elixir applications.☆46Oct 25, 2026Updated 2 weeks ago
- Run untrusted Erlang inside an Elixir host, on the same BEAM, with no ambient authority.☆34Oct 31, 2026Updated last week
- Declarative native desktop UI for Elixir/OTP — GPUI windows, HEEx-style views, native controls, testing, and remote displays☆125Nov 3, 2026Updated last week
- BEAM-native drone control for Elixir and Erlang. Fly, monitor, simulate, and coordinate programmable drones using supervised processes, t…☆22Aug 6, 2026Updated 3 months ago
- ☆27Updated this week
- An Elixir library that helps you to create OpenTelemetry spans with the least effort☆18Oct 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Elixir implementation of the Agent-to-Agent (A2A) protocol (https://a2a-protocol.org).☆23Updated this week
- ☆30Updated this week
- Typed Rust and Rustler code generation from Elixir — quasiquoting, ASTs, and zero-handwritten-Rust NIF boundaries☆26Oct 26, 2026Updated 2 weeks ago
- TypeSafe Jev for OTP: reply to Jev from a GenServer and pattern match on its answer☆38Sep 26, 2026Updated last month
- SEO essentials for Phoenix: sitemaps, robots.txt, and RSS feeds.☆24Feb 14, 2026Updated 8 months ago
- Permission-based authorization extension and dev tools for Ash Framework☆18Updated this week
- Polar.sh Elixir SDK generated from the openapi spec.☆20Updated this week
- The Elixir operating system☆22Oct 23, 2026Updated 2 weeks ago
- Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)☆198Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Chord: Sync Made Simple.☆27Mar 8, 2026Updated 8 months ago
- Elixir-native proof and specification kernel inspired by Lean's trusted-kernel architecture.☆13Jun 6, 2026Updated 5 months ago
- Evil, Powerful Protocols for Elixir☆30Jun 11, 2025Updated last year
- Automatic TypeScript type generation for Ash resources and actions☆103Updated this week
- Model Context Protocol (MCP) and Agent Client Protocol (ACP) client/server library for Elixir☆32Nov 2, 2026Updated last week
- Universal archive library☆33Oct 3, 2026Updated last month
- A Whatsapp client implementation in Elixir☆28Oct 29, 2026Updated last week
- Real-time sync for Postgres-backed Ash & Phoenix applications.☆32May 20, 2025Updated last year
- DuckDB for Elixir: supervised server, DBConnection client, and Ecto adapter☆33Oct 26, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Composable multi-agent workflows and LLM orchestrators with human-in-the-loop, checkpointing, and OpenTelemetry observability☆32Sep 3, 2026Updated 2 months ago
- ☆31Nov 3, 2026Updated last week
- Anta is Antithesis design system☆21Updated this week
- A Lua 5.3 runtime in pure Elixir☆229Oct 22, 2026Updated 2 weeks ago
- A module for avoiding global state in Elixir applications☆74Dec 19, 2025Updated 10 months ago
- ☆39Sep 12, 2023Updated 3 years ago
- Securely send Phoenix.PubSub one-way, over long distances☆14Sep 8, 2020Updated 6 years ago
Are these results useful?