Alternatives and similar repositories for 5ht.co:

Users that are interested in 5ht.co are comparing it to the libraries listed below

• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 4 years ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• erpuno / mail
  💧 MAIL: Система доставки повідомлень
  ☆27Updated last year
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated last year
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated 2 weeks ago
• 5HT / avz
  🔑 AVZ: Social Authorization
  ☆41Updated 3 years ago
• AstRonin / sgi
  Socket Gateway Interface
  ☆18Updated 7 years ago
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆21Updated last year
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• synrc / ca
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆18Updated 4 months ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• erpuno / upl
  💠 UPL: Мова опису кредитних програм
  ☆20Updated 9 years ago
• synrc / form
  🧾 FORM: Business X-Forms
  ☆39Updated 2 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• thaterikperson / erie
  A statically-typed lisp for the BEAM
  ☆11Updated 3 years ago
• naga-framework / naga
  NAGA: Erlang Web Framework
  ☆10Updated 6 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 13 years ago
• synrc / nitro
  🔥 NITRO: Nitrogen Web Framework RFC 6455
  ☆54Updated 7 months ago
• o7 / plm
  PLM: Product Lifecycle Management
  ☆13Updated 5 years ago
• voxoz / cycle
  Integration and Release Server with Github hook.
  ☆20Updated 10 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• celsobonutti / reason-phoenix
  ReasonML/ReScript bindings for the Phoenix javascript library
  ☆16Updated 4 years ago
• groupoid / axio
  🧊 Методологія верифікації теорем
  ☆93Updated 2 weeks ago
• kivra / giallo
  Small and flexible web framework on top of Cowboy
  ☆66Updated 11 years ago
• m-2k / erlach
  ☣⚫⚫ SPA Imageboad on WebSockets written on Erlang
  ☆29Updated 2 years ago
• devaspot / kai
  DHT storage by Takeshi Inoue
  ☆38Updated 10 years ago
• vic / asdf-ocaml
  OCaml plugin for ASDF version manager
  ☆13Updated 5 years ago
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆16Updated last week
• carlosgaldino / merkletree
  An Erlang library for Merkle Trees.
  ☆18Updated 7 years ago