Alternatives and similar repositories for hbs2:

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

• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• harp-project / Core-Erlang-Formalization
  ☆10Updated this week
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 5 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated last year
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated last week
• id3as / nixpkgs-nixerl
  A nix overlay for Erlang Releases
  ☆16Updated 11 months ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• stofel / ecldb
  Erlang key-proccess cluster database
  ☆14Updated 4 years ago
• KovalevDima / ClickHaskell
  ClickHouse Native protocol driver in Haskell
  ☆33Updated last week
• sequents / code
  Proof theory seminar
  ☆34Updated 4 years ago
• typeable / nix-pills-ru
  Вольный пересказ nix-pills на русском языке
  ☆9Updated 5 years ago
• erlang-nix / hex2nix
  A tool to automatically convert Hex packages to the Nix Expression format
  ☆32Updated 5 years ago
• gritzko / librdx
  Replicated Data eXchange format C lib
  ☆62Updated this week
• denisshevchenko / breadu.info
  Bread Unit calculator
  ☆33Updated 5 years ago
• maxlapshin / io_libc
  ☆20Updated 10 years ago
• amtal / CoreErlang
  AST, parser, pretty-printer for Core Erlang source code.
  ☆28Updated 4 years ago
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆26Updated this week
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆21Updated last year
• erlscripten / erlps-core
  Core runtime of Erlscripten - ERTS emulation
  ☆15Updated 2 years ago
• FlowForwarding / lincx
  Erlang on Bare Metal
  ☆57Updated 9 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆43Updated 8 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated this week
• astynax / hemmet
  Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
  ☆21Updated 7 months ago
• klapaucius / fphistoryru
  ☆13Updated 3 weeks ago
• cblp / funlangs
  Functional languages index
  ☆41Updated 5 years ago
• ruHaskell-learn / lhx
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Updated 2 years ago
• klarna-incubator / kappa
  ☆23Updated 3 years ago
• zwizwa / erl_tools
  Misc Erlang Tools
  ☆11Updated last year