Alternatives and similar repositories for joe:

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

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated last year
• o89 / n2o
  N2O: Application Server
  ☆11Updated 2 years ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• BitEdits / 5ht.co
  Namdak Tonpa Personal Journal
  ☆5Updated this week
• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 4 years ago
• BitEdits / be
  Binary Editor
  ☆19Updated 2 months ago
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆16Updated 5 months ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• m-2k / erlach
  ☣⚫⚫ SPA Imageboad on WebSockets written on Erlang
  ☆29Updated 2 years ago
• voidlizard / hbs2
  P2P CAS / P2P Framework / Distributed GIT
  ☆17Updated this week
• glagoly / glagoly
  online decision-making platform
  ☆14Updated last year
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated 3 weeks ago
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 4 years ago
• camlunity / kamlo_wiki
  Wiki For Camlunity
  ☆13Updated 10 years ago
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆21Updated last year
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 7 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆27Updated 2 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆47Updated 4 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• tapsters / swift-to-bert
  Bert encoder/decoder for Swift
  ☆10Updated 7 years ago
• ieQu1 / system_monitor
  "htop" for erlang / elixir processes
  ☆14Updated 3 months ago
• AstRonin / sgi
  Socket Gateway Interface
  ☆18Updated 7 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆69Updated 8 years ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 6 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated 2 weeks ago