Alternatives and similar repositories for hbs2:

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

• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 11 months ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 5 years ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• groupoid / henk.ex
  🧊 Чиста система з всесвітами
  ☆144Updated 7 months ago
• gritzko / librdx
  Replicated Data eXchange format C lib
  ☆55Updated this week
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated 11 months ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆66Updated 11 months ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆21Updated this week
• qnikst / irc-simple
  ☆30Updated 6 years ago
• stofel / ecldb
  Erlang key-proccess cluster database
  ☆14Updated 4 years ago
• amtal / CoreErlang
  AST, parser, pretty-printer for Core Erlang source code.
  ☆28Updated 3 years ago
• denisshevchenko / breadu.info
  Bread Unit calculator
  ☆33Updated 5 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 10 years ago
• maxlapshin / io_libc
  ☆20Updated 9 years ago
• coq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆45Updated last month
• erlang-nix / hex2nix
  A tool to automatically convert Hex packages to the Nix Expression format
  ☆32Updated 4 years ago
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 4 years ago
• gleber / erlhask
  Erlang VM reimplementation in Haskell
  ☆20Updated 10 years ago
• harp-project / Core-Erlang-Formalization
  ☆10Updated this week
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated last month
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 7 years ago
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆24Updated this week
• alexeyr / miet-haskell-course
  ☆25Updated 8 months ago
• FlowForwarding / lincx
  Erlang on Bare Metal
  ☆57Updated 9 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• nponeccop / haskell-exercises
  ☆41Updated 10 years ago
• klarna-incubator / kappa
  ☆23Updated 3 years ago