synrc/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

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

Close

synrc / sampleView on GitHubMore

• External links
• Readme badge

💧 SAMPLE: WebSocket Sample Application

☆10Mar 8, 2024Updated last year

Alternatives and similar repositories for sample

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

• o83 / n2o

  View on GitHub
  N2O: Rust Application Server
  ☆17Jul 9, 2019Updated 6 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
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Jun 2, 2025Updated 8 months ago
• synrc / form

  View on GitHub
  🧾 FORM: Business X-Forms
  ☆39Mar 24, 2023Updated 2 years ago
• synrc / rpc

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

  View on GitHub
  Binary Editor
  ☆22Jul 17, 2025Updated 7 months ago
• synrc / nitro

  View on GitHub
  🔥 NITRO: Nitrogen Web Framework RFC 6455
  ☆56Sep 6, 2024Updated last year
• o3 / n2o

  View on GitHub
  ⭕️ N2O: Haskell Application Server
  ☆47Feb 16, 2022Updated 4 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
• o7 / sample

  View on GitHub
  SAMPLE: Elixir Application
  ☆13Jan 26, 2021Updated 5 years ago
• MrChico / Reals-in-agda

  View on GitHub
  Constructive definition of real numbers implemented in agda.
  ☆10Jul 31, 2016Updated 9 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• mbykov / cholok

  View on GitHub
  phonetic transcription for Tibetan
  ☆10Mar 13, 2019Updated 6 years ago
• zencrypted / mail

  View on GitHub
  ✉️ MAIL: Simple Delivery System
  ☆27Jul 11, 2025Updated 7 months ago
• mattsta / stripe-erlang

  View on GitHub
  Erlang interface to the stripe.com API
  ☆27Jun 14, 2017Updated 8 years ago
• synrc / ca

  View on GitHub
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆20Feb 13, 2026Updated 2 weeks ago
• inaimathi / serve-sml

  View on GitHub
  Minimal SML-based web server
  ☆14Jun 19, 2015Updated 10 years ago
• erpuno / scan

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

  View on GitHub
  A nano "theorem prover".
  ☆62Feb 15, 2019Updated 7 years ago
• o89 / n2o

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

  View on GitHub
  Multiplication on optimal λ-calculus reducers
  ☆22Aug 14, 2020Updated 5 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
• o1 / n2o

  View on GitHub
  N2O: Standard ML Application Server
  ☆18Nov 6, 2021Updated 4 years ago
• jptmoore / nibbledb

  View on GitHub
  a byte-sized time series database
  ☆23Dec 15, 2020Updated 5 years ago
• effectfully / Cubes

  View on GitHub
  A dependently typed type checker for a TT with intervals
  ☆24Feb 6, 2020Updated 6 years ago
• k1complete / qlc

  View on GitHub
  Query Interface to Mnesia, ETS, Dets, etc
  ☆21Jul 17, 2022Updated 3 years 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
• jmchapman / Relative-Monads

  View on GitHub
  Relative Monad Library for Agda
  ☆24May 29, 2019Updated 6 years ago
• excavador / erlang-mnesia-video.ru

  View on GitHub
  ☆20Dec 23, 2021Updated 4 years ago
• synrc / kvs

  View on GitHub
  💿 KVS: NVMe Key-Value Store
  ☆176Sep 6, 2024Updated last year
• kni / sml-ev

  View on GitHub
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Jan 3, 2026Updated last month
• choptastic / sql_bridge

  View on GitHub
  SQL_Bridge: An abstraction layer for Erlang SQL databases (MySQL and PostgreSQL)
  ☆21Updated this week
• twanvl / ttie

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

  View on GitHub
  Solutions of the exercises of the HoTT book
  ☆23Dec 15, 2016Updated 9 years ago
• gallais / agda-nbe

  View on GitHub
  Formalizing nbe in agda
  ☆32Nov 22, 2012Updated 13 years ago
• striot / striot

  View on GitHub
  functional STReam processing for the IOT
  ☆29Apr 11, 2025Updated 10 months ago
• tanguyl / numerl

  View on GitHub
  Small matrix library for Erlang.
  ☆24Aug 15, 2023Updated 2 years ago
• oltarasenko / erlang_distribution_in_docker

  View on GitHub
  ☆37Aug 9, 2019Updated 6 years ago