Alternatives and similar repositories for emqttd

Users that are interested in emqttd 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 8, 2026Updated last week
• groupoid / TeX

  View on GitHub
  🧊 TeX-подібна система верстки наукових праць
  ☆20Mar 14, 2025Updated 11 months ago
• neel-krishnaswami / adjs

  View on GitHub
  Higher-order FRP compiler
  ☆16Oct 20, 2021Updated 4 years ago
• synrc / rpc

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

  View on GitHub
  An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…
  ☆18Aug 10, 2019Updated 6 years ago
• jeffa5 / ocaml-grpc

  View on GitHub
  Moved to https://git.jeffas.net
  ☆26Mar 13, 2022Updated 3 years ago
• lastland / WebSpec

  View on GitHub
  ☆17May 10, 2017Updated 8 years ago
• groupoid / cafe

  View on GitHub
  🧊 Презентації та воркшопи
  ☆19Jun 28, 2025Updated 7 months ago
• twanvl / ttie

  View on GitHub
  Type Theory with Indexed Equality
  ☆26Apr 7, 2017Updated 8 years ago
• striot / striot

  View on GitHub
  functional STReam processing for the IOT
  ☆29Apr 11, 2025Updated 10 months ago
• bitml-lang / bitml-compiler

  View on GitHub
  Compiler for BitML
  ☆27Mar 10, 2022Updated 3 years ago
• leanprover / lean4-nightly

  View on GitHub
  Nightly builds
  ☆23Updated this week
• schacon / erlangit

  View on GitHub
  Erlang Git Implementation
  ☆73Oct 11, 2023Updated 2 years ago
• jadeallenx / parque

  View on GitHub
  Erlang trading game engine
  ☆34Jul 15, 2014Updated 11 years ago
• whippyshou / mastodon

  View on GitHub
  휘핑 에디션 :: 오리지널 캐릭터의 교류를 목적으로 하는 커뮤니티를 위해 제공되는 마스토돈 에디션.
  ☆11Nov 6, 2024Updated last year
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Jul 8, 2025Updated 7 months ago
• synrc / kvs

  View on GitHub
  💿 KVS: NVMe Key-Value Store
  ☆176Sep 6, 2024Updated last year
• kazu-yamamoto / iproute

  View on GitHub
  IP Routing Table in Haskell
  ☆46Dec 29, 2025Updated last month
• kekyo / TypeInferencer

  View on GitHub
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Oct 23, 2023Updated 2 years ago
• nmvdw / groupoids

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

  View on GitHub
  An integrated VCS and development environment for Common Lisp
  ☆13Mar 8, 2024Updated last year
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• tleonhardt / linux_lkm

  View on GitHub
  Linux kernel programming using loadable kernel modules (LKMs)
  ☆14Oct 25, 2018Updated 7 years ago
• exo-docker / exo

  View on GitHub
  [Deprecated] eXo Platform in a Docker container
  ☆10Dec 9, 2025Updated 2 months ago
• djnym / erlang-pool-research

  View on GitHub
  Research and Code for Erlang Factory 2015 Talk
  ☆10May 4, 2016Updated 9 years ago
• 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
• ludvikjerabek / getopt-win

  View on GitHub
  Full getopt port for unicode and multibyte windows applications
  ☆15Oct 22, 2025Updated 3 months ago
• janestreet / lwt-async

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

  View on GitHub
  Quantum-proof, 768-bit signatures for 1-bit messages
  ☆11Mar 11, 2020Updated 5 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• JWesleySM / Whiro

  View on GitHub
  ☆22Oct 30, 2024Updated last year
• moayadnajd / nativescript-comments

  View on GitHub
  Comments box ready for integration inside you'r native script app
  ☆10May 23, 2018Updated 7 years ago
• ElinLiu0 / StudentBehaviorDetection

  View on GitHub
  A Student Behavior Detection powered by YOLOV8 and CUDA Acceleration Stack
  ☆11May 3, 2024Updated last year
• Roman-Oliynykov / ciphers-speed

  View on GitHub
  ☆11Jun 2, 2015Updated 10 years ago
• mroman42 / walters

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

  View on GitHub
  Happy Hacking
  ☆11Dec 24, 2025Updated last month
• wil / erlstatsd

  View on GitHub
  Erlang client for StatsD
  ☆19Oct 9, 2018Updated 7 years ago
• o7 / sample

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

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