Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
☆181Nov 6, 2026Updated this week
Alternatives and similar repositories for lynx
Users that are interested in lynx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of opinionated Credo checks aimed at improving code quality and catching common mistakes☆55Updated this week
- Declarative native desktop UI for Elixir/OTP — GPUI windows, HEEx-style views, native controls, testing, and remote displays☆99Updated 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
- An Elixir library wrapping ConvAI Innovations' OSS Laya system one model☆16Sep 20, 2026Updated last month
- Code duplication detector powered by Elixir AST analysis☆118Sep 29, 2026Updated last month
- 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.
- Program dependence graph and architecture/code-flow analysis for BEAM projects☆194Oct 5, 2026Updated last month
- Use your Ash actions in lua scripts via https://hexdocs.pm/lua. See the docs at https://hexdocs.pm/ash_lua☆15Updated this week
- Self-hosted, Elixir-native alternative to LiteLLM: one API for multi-provider routing, fallbacks, budgets, keys, and observability.☆27Oct 22, 2026Updated 2 weeks ago
- A framework for writing terminal user interfaces in Elixir☆213Updated this week
- Runs Hugging Face ONNX models on any Nx backend, with no per-architecture code☆23Updated this week
- Developer-friendly LLM agent harness built on Jido and Jido AI☆45Updated this week
- Python interpreter embedded in Elixir☆318Oct 24, 2026Updated last week
- [experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades☆20Updated this week
- Credo checks that catch AI-generated Elixir code slop☆175Sep 22, 2026Updated last month
- 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 support☆63Oct 25, 2026Updated last week
- Typed Rust and Rustler code generation from Elixir — quasiquoting, ASTs, and zero-handwritten-Rust NIF boundaries☆25Oct 26, 2026Updated last week
- A Typst-based Elixir library for generating OpenGraph Images☆36Dec 31, 2025Updated 10 months ago
- Credence is a semantic linter for Elixir☆78Aug 30, 2026Updated 2 months ago
- Search, replace, and diff Elixir code by AST pattern☆53Oct 6, 2026Updated last month
- A configurable Elixir styler☆172Updated this week
- Session recording and replay for Phoenix LiveView☆110Oct 10, 2026Updated 3 weeks ago
- Static code analysis for the Ash Framework, built as a Credo plugin☆44Oct 28, 2026Updated last week
- Volt-powered static site generator for Elixir applications.☆46Oct 25, 2026Updated last 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.
- Open source real-time, multi-tenant CMS for Elixir and Phoenix LiveView. One install runs many websites, with a visual page builder and a…☆22Updated this week
- Bash interpreter written in pure Elixir. Execute shell scripts from Elixir with compile-time validation, persistent sessions, and the ab…☆45Oct 13, 2026Updated 3 weeks ago
- ☆17Aug 23, 2025Updated last year
- MCP server with runtime-level tools for Phoenix development☆858Oct 30, 2026Updated last week
- Official Elixir Language Server Protocol implementation☆2,071Updated this week
- Elixir bindings for the OXC JavaScript toolchain — parse, transform, and minify JS/TS via Rust NIFs☆19Oct 7, 2026Updated 3 weeks ago
- Library for boolean satisfiability solving and expression manipulation.☆14Updated this week
- ☆303Oct 25, 2026Updated last week
- ☆14Oct 24, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A behaviour for creating language servers.☆122Sep 24, 2026Updated last month
- A chaos engineering library for Elixir inspired by Netflix's Chaos Monkey☆46Feb 7, 2026Updated 8 months ago
- Server-Driven UI for Phoenix LiveView applications backed by Ash resources☆20Jun 29, 2026Updated 4 months ago
- Error tolerant parser for Elixir☆103Oct 15, 2026Updated 3 weeks ago
- Simple DNS clustering for distributed Elixir nodes☆248Oct 1, 2026Updated last month
- Elixir runtime for AI agents that live inside your app and get things done by writing code☆243Updated this week
- Markdown for Elixir. Fast, Extensible, Phoenix-native. AI-ready. Built on top of comrak, ammonia, lumis, and syntect.☆457Updated this week