groupoid/axio external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

groupoid/axio

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/groupoid/axio)

Close

groupoid / axioView on GitHubMore

• External links
• Readme badge

🧊 Методологія верифікації теорем

☆92Mar 18, 2026Updated this week

Alternatives and similar repositories for axio

Users that are interested in axio are comparing it to the libraries listed below

• o7 / sample

  View on GitHub
  SAMPLE: Elixir Application
  ☆13Jan 26, 2021Updated 5 years ago
• HernanRivasAcosta / kafkerl

  View on GitHub
  Apache Kafka producer/consumer for erlang
  ☆24Aug 11, 2021Updated 4 years ago
• synrc / n2o.dev

  View on GitHub
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Dec 27, 2025Updated 2 months ago
• groupoid / alonzo

  View on GitHub
  🧊 Мінімальна внутрішня мова декартово-замкнених категорій
  ☆15Jun 2, 2025Updated 9 months ago
• crownedgrouse / swab

  View on GitHub
  General purpose buffer handling module
  ☆17Aug 31, 2017Updated 8 years ago
• erpuno / mail

  View on GitHub
  💧 MAIL: Система доставки повідомлень
  ☆29Jan 27, 2026Updated last month
• andyarvanitis / idris-golang

  View on GitHub
  ☆16Dec 17, 2014Updated 11 years ago
• groupoid / henk

  View on GitHub
  🧊 Чиста система з всесвітами
  ☆147Updated this week
• robertoaloi / ansible-nodetool

  View on GitHub
  An Ansible module to interact with Erlang nodes via Erlang RPC
  ☆27Dec 4, 2017Updated 8 years ago
• unbalancedparentheses / emacs-lunfardo

  View on GitHub
  got emacs? emacs distribution with sane defaults
  ☆22Jan 11, 2022Updated 4 years ago
• synrc / rpc

  View on GitHub
  ☎️ RPC: Type Driven Parser Generator
  ☆19Nov 8, 2021Updated 4 years ago
• akkeshavan / pegERL

  View on GitHub
  Erlang Parser Combinator library for Parser Expression Grammars ( PEG)
  ☆13Jun 13, 2015Updated 10 years ago
• jcomellas / bstr

  View on GitHub
  Erlang library to use binaries as strings
  ☆25Oct 27, 2015Updated 10 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• ostinelli / cowbell

  View on GitHub
  An Erlang node connection manager.
  ☆26Oct 18, 2017Updated 8 years ago
• riscy / bifocal-mode

  View on GitHub
  A minor mode enabling split-screen scrolling in any Emacs 'comint-mode' buffer (such as shell-mode, inferior-python-mode, etc.)
  ☆15Jan 5, 2026Updated 2 months ago
• erszcz / docsh

  View on GitHub
  Erlang Docs in the Shell predating EEP-48 and shell_docs
  ☆120Nov 23, 2023Updated 2 years ago
• etnt / edbg

  View on GitHub
  A simple tty interface to the Erlang debugger and tracer.
  ☆93Jan 23, 2025Updated last year
• marianoguerra / erlplorer

  View on GitHub
  search erlang & efene code by structure by providing expressions with "holes"
  ☆15Sep 18, 2021Updated 4 years ago
• gar1t / erlang-cli

  View on GitHub
  CLI argument parser and toolkit for Erlang
  ☆16Sep 19, 2017Updated 8 years ago
• filmor / tomerl

  View on GitHub
  Erlang TOML Parser
  ☆23Sep 9, 2023Updated 2 years ago
• OpenRiak / rabl

  View on GitHub
  RabbitMQ Real Time Replication for Riak
  ☆12Sep 4, 2017Updated 8 years ago
• sasa1977 / fun_chain

  View on GitHub
  Function chaining in Erlang
  ☆34Apr 17, 2013Updated 12 years ago
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Feb 17, 2026Updated last month
• skvamme / ex11

  View on GitHub
  Graphics lib for Erlang
  ☆21Mar 10, 2022Updated 4 years ago
• o83 / n2o

  View on GitHub
  N2O: Rust Application Server
  ☆17Jul 9, 2019Updated 6 years ago
• aeternity / aebytecode

  View on GitHub
  Aeternity virtual machines byte code modules
  ☆14Apr 26, 2024Updated last year
• processone / p1_utils

  View on GitHub
  Erlang Utility Modules from ProcessOne
  ☆18Updated this week
• 1ma / branca-erl

  View on GitHub
  An Erlang implementation of the Branca specification for authenticated and encrypted tokens
  ☆12Dec 26, 2020Updated 5 years ago
• o89 / n2o

  View on GitHub
  N2O: Application Server
  ☆13Nov 22, 2022Updated 3 years ago
• madtrick / wsock

  View on GitHub
  Erlang library to build WebSocket clients and servers
  ☆36Feb 17, 2015Updated 11 years ago
• ieQu1 / typerefl

  View on GitHub
  Use Erlang typespecs in the runtime
  ☆39Feb 18, 2026Updated last month
• nsf / sexp

  View on GitHub
  S-expressions parser in the Go programming language
  ☆20Jun 20, 2013Updated 12 years ago
• spire / spire

  View on GitHub
  The Spire Programming Language
  ☆59Oct 23, 2014Updated 11 years ago
• vessi / erlcourses

  View on GitHub
  Slides and code for first Erlang courses
  ☆10Nov 8, 2015Updated 10 years ago
• purerl / hello-world

  View on GitHub
  PureScript Erlang hello world
  ☆13Aug 3, 2018Updated 7 years ago
• Qqwy / Jux

  View on GitHub
  ☆14Jan 31, 2021Updated 5 years ago
• benoitc / cbt

  View on GitHub
  multi-layer MVCC log append-only database library based on the Apache CouchDB btree.
  ☆14Jul 23, 2018Updated 7 years ago
• thaterikperson / erie

  View on GitHub
  A statically-typed lisp for the BEAM
  ☆12Aug 28, 2021Updated 4 years ago