erpuno / hl7View external linksLinks
💠 HL7: FHIR Application Server ISO/HL7 27931:2009
☆11Jul 8, 2025Updated 7 months ago
Alternatives and similar repositories for hl7
Users that are interested in hl7 are comparing it to the libraries listed below
Sorting:
- 💬 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
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- SAMPLE: Elixir Application☆13Jan 26, 2021Updated 5 years ago
- ☆17Jan 23, 2026Updated 3 weeks ago
- 🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.☆20Jan 16, 2026Updated 3 weeks ago
- 🌐 N2O.DEV: Open Source Enterprise Frameworks☆15Dec 27, 2025Updated last month
- 💧 SCAN: Сканування☆13Sep 25, 2022Updated 3 years ago
- N2O: Application Server☆13Nov 22, 2022Updated 3 years ago
- 🧊 Типізоване -גчислення☆16Jun 2, 2025Updated 8 months ago
- N2O: Rust Application Server☆17Jul 9, 2019Updated 6 years ago
- Binary Editor☆22Jul 17, 2025Updated 6 months ago
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆24Sep 28, 2024Updated last year
- Interactive Theorem Proving for students☆20Aug 26, 2023Updated 2 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- 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
- 🧊 Презентації та воркшопи☆19Jun 28, 2025Updated 7 months ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- A Julia package for calculating topological numbers☆36Aug 19, 2025Updated 5 months ago
- 🌐 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
- ☆11Dec 23, 2025Updated last month
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- 🗂️ A port of ericflo/django-pagination to Python >= 3.10 + Django 4.2 to 5.2☆13Jan 20, 2026Updated 3 weeks ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- Pythonic AMQP library for asyncio☆11Sep 12, 2018Updated 7 years ago
- small tornado project of an imageboard with very bad and outdated code. use branch develop☆10Dec 8, 2022Updated 3 years ago
- 💠 WS: F# Веб-сокет сервер☆87Mar 30, 2023Updated 2 years ago
- 🧊 Інститут формальної математики☆35Dec 17, 2025Updated last month
- 🧊 Методологія верифікації теорем☆93Jan 8, 2026Updated last month
- SMTP client in Elixir☆13Dec 12, 2025Updated 2 months ago
- Ancient but still respectable open source 68k disassembler.☆13Dec 2, 2018Updated 7 years ago
- Lwt with async backend☆18Jan 2, 2014Updated 12 years ago
- 💧 MAIL: Система доставки повідомлень☆29Jan 27, 2026Updated 2 weeks ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- online decision-making platform☆14Sep 10, 2023Updated 2 years ago
- A64: ARM64 Assembler for Erlang☆11Sep 30, 2020Updated 5 years ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated last month