Elixir-native proof and specification kernel inspired by Lean's trusted-kernel architecture.
☆13Jun 6, 2026Updated 5 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☆55Jul 20, 2026Updated 3 months ago
- Elixir port of bashkit, a rust-based virtual bash interpreter with a virtual file system.☆13Aug 8, 2026Updated 3 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 last month
- Vue templates and single-file components for Phoenix LiveView☆24Oct 9, 2026Updated last month
- 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.
- Self-hosted, Elixir-native alternative to LiteLLM: one API for multi-provider routing, fallbacks, budgets, keys, and observability.☆27Oct 22, 2026Updated 3 weeks ago
- An Elixir Terminal User Interface framework☆34Oct 17, 2026Updated 3 weeks ago
- Search, replace, and diff Elixir code by AST pattern☆53Oct 6, 2026Updated last month
- Machine output for Mix tasks☆18Mar 23, 2023Updated 3 years ago
- Manage background agents in your Elixir app☆35Mar 30, 2026Updated 7 months ago
- Session recording and replay for Phoenix LiveView☆110Oct 10, 2026Updated last month
- Pragmatic wrapper around Mozilla SOPS allowing decryption of secrets at runtime.☆10Jan 11, 2025Updated last year
- Program dependence graph and architecture/code-flow analysis for BEAM projects☆194Oct 5, 2026Updated last month
- Code duplication detector powered by Elixir AST analysis☆119Sep 29, 2026Updated last month
- 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.
- An example of running an Elixir app with PG2-based PubSub on Kubernetes☆11Mar 2, 2021Updated 5 years ago
- Volt-powered static site generator for Elixir applications.☆46Oct 25, 2026Updated 2 weeks ago
- Composable, validated actions for Elixir applications with built-in AI tool integration☆19Updated this week
- Builds compile-time checks on top of Phoenix.PubSub, similar to Phoenix.VerifiedRoutes. Define your topics and messages up front and get …☆16Updated this week
- Terminal emulator library for the BEAM — libghostty-vt NIFs with OTP integration☆107Jul 29, 2026Updated 3 months ago
- Claude Code Wrapper☆18Oct 27, 2026Updated 2 weeks ago
- Lightweight Ethereum Key Manager & RPC Client in Elixir☆17Mar 19, 2026Updated 7 months ago
- Server-driven generative UI for Phoenix LiveView☆65Mar 14, 2026Updated 7 months ago
- A demo Phoenix LiveView application showcasing the Sagents's multi-conversation agent architecture.☆31Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An Ash extension to implement archival (soft deletion) for resources.☆27Nov 1, 2026Updated last week
- An Elixir library wrapping ConvAI Innovations' OSS Laya system one model☆16Sep 20, 2026Updated last month
- Typed Rust and Rustler code generation from Elixir — quasiquoting, ASTs, and zero-handwritten-Rust NIF boundaries☆26Oct 26, 2026Updated 2 weeks ago
- Compile-time bridge from Ash Framework resources to Jido Action modules☆40Updated this week
- Run untrusted Erlang inside an Elixir host, on the same BEAM, with no ambient authority.☆34Oct 31, 2026Updated last week
- A pure Phoenix LiveView UI kit designed to work nicely with Ash Framework, inspired by Daisy UI.☆14Dec 20, 2022Updated 3 years ago
- Elixir RAG library with multi-LLM routing (Gemini, Claude, OpenAI, Ollama), GraphRAG, knowledge graphs, modular retrievers/rerankers, com…☆13Apr 9, 2026Updated 7 months ago
- BEAM-native coding agent for Elixir/OTP projects with TUI, web UI, eval, tools, memory, and subagents☆114Jun 11, 2026Updated 5 months ago
- ☆10Sep 5, 2025Updated last year
- 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.
- Headless observability☆25Nov 5, 2026Updated last week
- Terminal graph rendering with Unicode box-drawing characters. Accepts libgraph Graph.t() and renders directed graphs, code flow diagrams,…☆16Apr 27, 2026Updated 6 months ago
- SNMP based network discovery with SQL backend☆12Sep 20, 2019Updated 7 years ago
- Open source real-time, multi-tenant CMS for Elixir and Phoenix LiveView. One install runs many websites, with a visual page builder and a…☆30Updated this week
- BEAM runtime tools for pi — connects to the running Elixir app via Tidewave☆116Sep 13, 2026Updated last month
- ☆81Oct 20, 2026Updated 3 weeks ago
- QR code encoder and decoder in pure Elixir☆22Mar 28, 2026Updated 7 months ago
Are these results useful?