Alternatives and similar repositories for hbs2

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

• gritzko / librdx
  Replicated Data eXchange format C lib
  ☆64Updated 2 weeks ago
• KovalevDima / ClickHaskell
  ClickHouse Native protocol driver in Haskell
  ☆40Updated this week
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• erlang-nix / hex2nix
  A tool to automatically convert Hex packages to the Nix Expression format
  ☆32Updated 5 years ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 6 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated this week
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• thesz / storage
  Key-value storage LSM-style and whatever will grow out of it.
  ☆10Updated 8 years ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated this week
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• amtal / CoreErlang
  AST, parser, pretty-printer for Core Erlang source code.
  ☆28Updated 4 years ago
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆21Updated last year
• groupoid / axio
  🧊 Методологія верифікації теорем
  ☆93Updated this week
• FlowForwarding / lincx
  Erlang on Bare Metal
  ☆57Updated 9 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 7 years ago
• purerl / hello-world
  PureScript Erlang hello world
  ☆13Updated 6 years ago
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 5 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated this week
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• qnikst / irc-simple
  ☆30Updated 7 years ago
• selectel / yawndb
  In-memory circular array database
  ☆129Updated 8 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• denisshevchenko / breadu.info
  Bread Unit calculator
  ☆33Updated 5 years ago
• habibutsu / erlz
  Set of helpers functions for more convenient functional programming in Erlang
  ☆28Updated 6 years ago
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated 11 months ago
• ElvishJerricco / cross-nixos-aarch64
  Cross compile minimal NixOS to aarch64
  ☆20Updated 6 years ago
• stofel / taran
  Erlang Tarantool driver
  ☆13Updated 6 years ago
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Updated 2 months ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 13 years ago