o7/sample 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

o7/sample

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/o7/sample)

Close

o7 / sampleView on GitHubMore

• External links
• Readme badge

SAMPLE: Elixir Application

☆13Jan 26, 2021Updated 5 years ago

Alternatives and similar repositories for sample

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

• AstRonin / sgi

  View on GitHub
  Socket Gateway Interface
  ☆18Apr 29, 2017Updated 8 years ago
• synrc / n2o.dev

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

  View on GitHub
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆20Mar 8, 2026Updated last week
• o7 / plm

  View on GitHub
  PLM: Product Lifecycle Management
  ☆13Sep 25, 2019Updated 6 years ago
• synrc / rpc

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

  View on GitHub
  💧 SAMPLE: WebSocket Sample Application
  ☆10Mar 8, 2024Updated 2 years ago
• groupoid / alonzo

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

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

  View on GitHub
  💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…
  ☆10Mar 4, 2026Updated 2 weeks ago
• groupoid / axio

  View on GitHub
  🧊 Методологія верифікації теорем
  ☆92Updated this week
• aeternity / aebytecode

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

  View on GitHub
  The collected works of R. F. C. Walters
  ☆13Nov 12, 2024Updated last year
• synrc / nitro

  View on GitHub
  🔥 NITRO: Nitrogen Web Framework RFC 6455
  ☆56Sep 6, 2024Updated last year
• uds-psl / coq-synthetic-computability

  View on GitHub
  ☆17Feb 16, 2026Updated last month
• erpuno / mail

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

  View on GitHub
  🧊 Модальний гомотопічний верифікатор математики
  ☆23Mar 10, 2026Updated last week
• schnef / hkdf

  View on GitHub
  Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
  ☆12Dec 2, 2021Updated 4 years ago
• carlosgaldino / merkletree

  View on GitHub
  An Erlang library for Merkle Trees.
  ☆18Sep 28, 2017Updated 8 years ago
• maxdore / elfe

  View on GitHub
  Interactive Theorem Proving for students
  ☆21Aug 26, 2023Updated 2 years ago
• kthielen / stlcc

  View on GitHub
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Jan 25, 2013Updated 13 years ago
• mischief901 / gen_quic

  View on GitHub
  An Erlang implementation of QUIC per the IETF draft standards.
  ☆24Jun 6, 2020Updated 5 years ago
• erpuno / scan

  View on GitHub
  💧 SCAN: Сканування
  ☆13Sep 25, 2022Updated 3 years ago
• Miko4 / ant

  View on GitHub
  ant is not TeX
  ☆24Apr 25, 2016Updated 9 years ago
• groupoid / cafe

  View on GitHub
  🧊 Презентації та воркшопи
  ☆18Jun 28, 2025Updated 8 months ago
• bitedits / be

  View on GitHub
  Binary Editor
  ☆22Jul 17, 2025Updated 8 months ago
• vans163 / stargate

  View on GitHub
  Erlang customizable webserver
  ☆21Nov 15, 2021Updated 4 years ago
• am-kantox / cloister

  View on GitHub
  Lightweight Cluster handling with support for consensus and dynamic configuration
  ☆17Jun 10, 2024Updated last year
• g-andrade / quack

  View on GitHub
  Erlang implementation of Google QUIC protocol
  ☆20Mar 1, 2017Updated 9 years ago
• KskAdch / TopologicalNumbers.jl

  View on GitHub
  A Julia package for calculating topological numbers
  ☆36Aug 19, 2025Updated 7 months ago
• o89 / n2o

  View on GitHub
  N2O: Application Server
  ☆13Nov 22, 2022Updated 3 years ago
• z-murray / honours-project-constructive-analysis-in-agda

  View on GitHub
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆24Aug 14, 2023Updated 2 years ago
• praveenperera / gleam_compile

  View on GitHub
  Tiny hex package to make the development experience of using gleam in elixir (and especially phoenix projects) better.
  ☆28Feb 21, 2022Updated 4 years ago
• shin-sakata / Citrous

  View on GitHub
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Jan 22, 2026Updated last month
• synrc / ldap

  View on GitHub
  🌐 LDAP: Directory Server. ITU/IETF: 2849, 3296, 3671-3673, 3866, 4510-4518, 4522, 4525, 4526, 4929, 5480, X.519.
  ☆54Mar 7, 2026Updated last week
• erpuno / upl

  View on GitHub
  💠 UPL: Мова опису кредитних програм
  ☆20Jan 26, 2016Updated 10 years ago
• oeloeloel / forked

  View on GitHub
  ☆13Jun 11, 2025Updated 9 months ago
• Lyniat / platformer-physics

  View on GitHub
  ☆11Dec 23, 2025Updated 2 months ago
• Bluehouse-Technology / grpc_client

  View on GitHub
  Erlang Client library for gRPC
  ☆29Apr 6, 2022Updated 3 years ago
• ul-fmf / mlfmf-data

  View on GitHub
  Machine Learning for Mathematical Formalization
  ☆11Jul 20, 2024Updated last year