[experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades
☆19Oct 18, 2026Updated this 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:
- Self-hosted, Elixir-native alternative to LiteLLM: one API for multi-provider routing, fallbacks, budgets, keys, and observability.☆27Oct 3, 2026Updated 2 weeks ago
- BEAM-native drone control for Elixir and Erlang. Fly, monitor, simulate, and coordinate programmable drones using supervised processes, t…☆21Aug 6, 2026Updated 2 months ago
- Declarative native desktop UI for Elixir/OTP — GPUI windows, HEEx-style views, native controls, testing, and remote displays☆49Oct 3, 2026Updated 2 weeks ago
- Elixir bindings for the OXC JavaScript toolchain — parse, transform, and minify JS/TS via Rust NIFs☆19Oct 7, 2026Updated last week
- Typed Rust and Rustler code generation from Elixir — quasiquoting, ASTs, and zero-handwritten-Rust NIF boundaries☆24Oct 2, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- TypeSafe Jev for OTP: reply to Jev from a GenServer and pattern match on its answer☆36Sep 26, 2026Updated 3 weeks ago
- Distributed multi-agent framework for event-driven, graph-based computation. Elixir/Python, NATS event streaming, modular operator/XCS ar…☆14Mar 25, 2026Updated 6 months ago
- 🤖 AIDevOS: AI-Driven Autonomous DevOps System | Multi-agent collaboration framework with DSPy integration for automated application deve…☆16Mar 25, 2026Updated 6 months ago
- Build, Publish & Deploy Elixir Infrastructure to the Cloud with Docker & Terraform☆22Mar 27, 2023Updated 3 years ago
- Volt-powered static site generator for Elixir applications.☆45Oct 7, 2026Updated last week
- Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)☆112Updated this week
- SEO essentials for Phoenix: sitemaps, robots.txt, and RSS feeds.☆24Feb 14, 2026Updated 8 months ago
- Polar.sh Elixir SDK generated from the openapi spec.☆20Updated this week
- 👑 Rat King: an encrypted, AT Protocol agent network. Pure rat-stack: Effect + Alchemy, deploys to Cloudflare and celld.☆38Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆20Oct 6, 2026Updated 2 weeks ago
- Agent skills for OpenPencil — the open-source design editor☆16Sep 13, 2026Updated last month
- A living standard for a web stack that AI agents can verify, not just generate☆27Aug 28, 2026Updated last month
- A sovereign peer-to-peer mesh for the BEAM: QUIC transport, DHT discovery, RPC and pubsub, no cloud in the data path☆19Updated this week
- ☆16Nov 16, 2025Updated 11 months ago
- M3D routing challenge: a reproducible EDA routing benchmark for a simplified monolithic-3D stack (generator, checker, scorer, baseline, v…☆50Updated this week
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Mar 25, 2026Updated 6 months ago
- A browser-only research agent powered by Liquid AI's LFM2.5-2.6B model, Transformers.js, and WebGPU.☆32Aug 4, 2026Updated 2 months ago
- Rebar3 Erlydtl Plugin☆12Aug 15, 2025Updated last year
- 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.
- Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language☆10Nov 19, 2025Updated 11 months ago
- FSS - File system specs is a small abstraction to describe how to access files on local or remote file systems.☆12Feb 18, 2025Updated last year
- An extensibility package that turns Amp into a general purpose agent☆12Jul 31, 2025Updated last year
- Bash interpreter written in pure Elixir. Execute shell scripts from Elixir with compile-time validation, persistent sessions, and the ab…☆45Oct 13, 2026Updated last week
- A demonstration of the Ash Typescript package, showing React and LiveView access to the same resources☆37Oct 17, 2025Updated last year
- Securely send Phoenix.PubSub one-way, over long distances☆14Sep 8, 2020Updated 6 years ago
- Playing with Monad Transformers in scala☆10May 21, 2013Updated 13 years ago
- ☆12Sep 27, 2017Updated 9 years ago
- My Linux/macOS system dot files (.zshrc, etc.)☆11Jul 3, 2026Updated 3 months 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.
- Feeding the Android Runtime with V8 heap snapshots☆11Aug 15, 2017Updated 9 years ago
- A CBOR library implemented in Gleam☆12Aug 8, 2025Updated last year
- Terminal emulator library for the BEAM — libghostty-vt NIFs with OTP integration☆106Jul 29, 2026Updated 2 months ago
- A Whatsapp client implementation in Elixir☆27Sep 30, 2026Updated 2 weeks ago
- ☆14Mar 16, 2025Updated last year
- Catalog for Elixir Toolbox☆13Jun 2, 2026Updated 4 months ago
- HTTP 1.1 web server framework written in Rust☆17Dec 26, 2012Updated 13 years ago