Elixir-native proof and specification kernel inspired by Lean's trusted-kernel architecture.
☆13Jun 6, 2026Updated 4 months ago
Alternatives and similar repositories for theoria
Users that are interested in theoria are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Structural Elixir code intelligence and search powered by ExAST, Reach, Ecto, and Postgres/ParadeDB☆54Jul 20, 2026Updated 3 months ago
- Elixir port of bashkit, a rust-based virtual bash interpreter with a virtual file system.☆13Aug 8, 2026Updated 2 months ago
- npm package manager for Elixir☆22Jul 20, 2026Updated 3 months ago
- Elixir bindings for the OXC JavaScript toolchain — parse, transform, and minify JS/TS via Rust NIFs☆19Oct 7, 2026Updated 2 weeks ago
- Self-hosted, Elixir-native alternative to LiteLLM: one API for multi-provider routing, fallbacks, budgets, keys, and observability.☆27Oct 3, 2026Updated 2 weeks ago
- 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.
- Vue templates and single-file components for Phoenix LiveView☆24Oct 9, 2026Updated 2 weeks ago
- An Elixir Terminal User Interface framework☆34Updated this week
- Builds compile-time checks on top of Phoenix.PubSub, similar to Phoenix.VerifiedRoutes. Define your topics and messages up front and get …☆15Updated this week
- Machine output for Mix tasks☆18Mar 23, 2023Updated 3 years ago
- Search, replace, and diff Elixir code by AST pattern☆53Oct 6, 2026Updated 2 weeks ago
- Volt-powered static site generator for Elixir applications.☆45Oct 7, 2026Updated 2 weeks ago
- Typed Rust and Rustler code generation from Elixir — quasiquoting, ASTs, and zero-handwritten-Rust NIF boundaries☆24Oct 2, 2026Updated 3 weeks ago
- Program dependence graph and architecture/code-flow analysis for BEAM projects☆194Oct 5, 2026Updated 2 weeks ago
- Manage background agents in your Elixir app☆35Mar 30, 2026Updated 6 months 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.
- Session recording and replay for Phoenix LiveView☆110Oct 10, 2026Updated last week
- Code duplication detector powered by Elixir AST analysis☆118Sep 29, 2026Updated 3 weeks ago
- A living standard for a web stack that AI agents can verify, not just generate☆27Aug 28, 2026Updated last month
- Claude Code Wrapper☆18Oct 9, 2026Updated 2 weeks ago
- An example of running an Elixir app with PG2-based PubSub on Kubernetes☆11Mar 2, 2021Updated 5 years ago
- Composable, validated actions for Elixir applications with built-in AI tool integration☆19Updated this week
- Elixir RAG library with multi-LLM routing (Gemini, Claude, OpenAI, Ollama), GraphRAG, knowledge graphs, modular retrievers/rerankers, com…☆13Apr 9, 2026Updated 6 months ago
- Terminal emulator library for the BEAM — libghostty-vt NIFs with OTP integration☆106Jul 29, 2026Updated 2 months ago
- Lightweight Ethereum Key Manager & RPC Client in Elixir☆17Mar 19, 2026Updated 7 months 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.
- Server-driven generative UI for Phoenix LiveView☆65Mar 14, 2026Updated 7 months ago
- A pure Phoenix LiveView UI kit designed to work nicely with Ash Framework, inspired by Daisy UI.☆13Dec 20, 2022Updated 3 years ago
- A demo Phoenix LiveView application showcasing the Sagents's multi-conversation agent architecture.☆31Oct 9, 2026Updated 2 weeks ago
- An Ash extension to implement archival (soft deletion) for resources.☆27Updated this week
- BEAM-native coding agent for Elixir/OTP projects with TUI, web UI, eval, tools, memory, and subagents☆113Jun 11, 2026Updated 4 months ago
- Compile-time bridge from Ash Framework resources to Jido Action modules☆40Updated this week
- Composable setup workflows for Phoenix applications, built on Igniter☆25Aug 26, 2026Updated last month
- Headless observability☆26Updated this week
- Terminal graph rendering with Unicode box-drawing characters. Accepts libgraph Graph.t() and renders directed graphs, code flow diagrams,…☆16Apr 27, 2026Updated 5 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.
- BEAM runtime tools for pi — connects to the running Elixir app via Tidewave☆114Sep 13, 2026Updated last month
- ☆79Updated this week
- Server-Driven UI for Phoenix LiveView applications backed by Ash resources☆20Jun 29, 2026Updated 3 months ago
- Six steps to make a new Phoenix app work well with AI coding agents: pin the toolchain, turn mix precommit into a real gate, split the ge…☆15Sep 29, 2026Updated 3 weeks ago
- [experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades☆19Updated this week
- Real-time sync for Postgres-backed Ash & Phoenix applications.☆32May 20, 2025Updated last year
- Credence is a semantic linter for Elixir☆78Aug 30, 2026Updated last month