Alternatives and similar repositories for hl7

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

• 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,…
  ☆10Feb 5, 2026Updated last week
• mroman42 / walters

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

  View on GitHub
  SAMPLE: Elixir Application
  ☆13Jan 26, 2021Updated 5 years ago
• uds-psl / coq-synthetic-computability

  View on GitHub
  ☆17Jan 23, 2026Updated 3 weeks ago
• synrc / ca

  View on GitHub
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆20Jan 16, 2026Updated 3 weeks ago
• synrc / n2o.dev

  View on GitHub
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Dec 27, 2025Updated last month
• erpuno / scan

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

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

  View on GitHub
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Jun 2, 2025Updated 8 months ago
• o83 / n2o

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

  View on GitHub
  Binary Editor
  ☆22Jul 17, 2025Updated 6 months ago
• zero-deps / kvs

  View on GitHub
  Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search
  ☆24Sep 28, 2024Updated last year
• maxdore / elfe

  View on GitHub
  Interactive Theorem Proving for students
  ☆20Aug 26, 2023Updated 2 years ago
• mmasdeu / topologygame

  View on GitHub
  Learn Lean and topology
  ☆26Apr 28, 2023Updated 2 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
• groupoid / cafe

  View on GitHub
  🧊 Презентації та воркшопи
  ☆19Jun 28, 2025Updated 7 months 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
• KskAdch / TopologicalNumbers.jl

  View on GitHub
  A Julia package for calculating topological numbers
  ☆36Aug 19, 2025Updated 5 months ago
• synrc / ldap

  View on GitHub
  🌐 LDAP: Directory Server. ITU/IETF: 2849, 3296, 3671-3673, 3866, 4510-4518, 4522, 4525, 4526, 4929, 5480, X.519.
  ☆54Jan 16, 2026Updated 3 weeks ago
• Lyniat / platformer-physics

  View on GitHub
  ☆11Dec 23, 2025Updated last month
• nmvdw / groupoids

  View on GitHub
  Groupoids vs 1-Types
  ☆11Nov 8, 2018Updated 7 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• matagus / django-pagination-py3

  View on GitHub
  🗂️ A port of ericflo/django-pagination to Python >= 3.10 + Django 4.2 to 5.2
  ☆13Jan 20, 2026Updated 3 weeks ago
• ul-fmf / mlfmf-data

  View on GitHub
  Machine Learning for Mathematical Formalization
  ☆11Jul 20, 2024Updated last year
• hz7k-nzw / sicp-in-smlnj

  View on GitHub
  This is a translation of source code from SICP into SML/NJ.
  ☆13Jun 2, 2010Updated 15 years ago
• mwfrojdman / ammoo

  View on GitHub
  Pythonic AMQP library for asyncio
  ☆11Sep 12, 2018Updated 7 years ago
• cnsr / tornado_imageboard

  View on GitHub
  small tornado project of an imageboard with very bad and outdated code. use branch develop
  ☆10Dec 8, 2022Updated 3 years ago
• erpuno / ws

  View on GitHub
  💠 WS: F# Веб-сокет сервер
  ☆87Mar 30, 2023Updated 2 years ago
• groupoid / groupoid.space

  View on GitHub
  🧊 Інститут формальної математики
  ☆35Dec 17, 2025Updated last month
• groupoid / axio

  View on GitHub
  🧊 Методологія верифікації теорем
  ☆93Jan 8, 2026Updated last month
• ruslandoga / mua

  View on GitHub
  SMTP client in Elixir
  ☆13Dec 12, 2025Updated 2 months ago
• cr1901 / m68kdis

  View on GitHub
  Ancient but still respectable open source 68k disassembler.
  ☆13Dec 2, 2018Updated 7 years ago
• janestreet / lwt-async

  View on GitHub
  Lwt with async backend
  ☆18Jan 2, 2014Updated 12 years ago
• erpuno / mail

  View on GitHub
  💧 MAIL: Система доставки повідомлень
  ☆29Jan 27, 2026Updated 2 weeks ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• glagoly / glagoly

  View on GitHub
  online decision-making platform
  ☆14Sep 10, 2023Updated 2 years ago
• 5HT / a64

  View on GitHub
  A64: ARM64 Assembler for Erlang
  ☆11Sep 30, 2020Updated 5 years ago
• kurtqiao / snapshot

  View on GitHub
  a screen snapshot application under UEFI
  ☆10Jan 22, 2014Updated 12 years ago
• dbuenzli / qoic

  View on GitHub
  QOI image codec for OCaml (unreleased)
  ☆11Jan 2, 2026Updated last month