Alternatives and similar repositories for joe:

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

• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 10 months ago
• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 4 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆20Updated this week
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated 10 months ago
• o89 / n2o
  N2O: Application Server
  ☆11Updated 2 years ago
• 5HT / 5HT
  Namdak Tonpa Personal Journal
  ☆5Updated last week
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 2 years ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• BitEdits / be
  InfoSec Binary Hex Editor with Retro Disassemblers
  ☆18Updated 3 weeks ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated 2 weeks ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 4 years ago
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Updated 3 months ago
• denisshevchenko / breadu.info
  Bread Unit calculator
  ☆33Updated 5 years ago
• ilya-klyuchnikov / refal
  ☆13Updated 2 years ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆25Updated 2 years ago
• tapsters / etwilio
  Simply Erlang integration with Twilio
  ☆8Updated 6 years ago
• smimram / catt
  An infinity-categorical coherence typechecker
  ☆15Updated 2 months ago
• glagoly / glagoly
  online decision-making platform
  ☆14Updated last year
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆27Updated 2 years ago
• okeuday / erlang_ml
  Erlang External Term Format for OCaml
  ☆29Updated last year
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 4 months ago
• Miko4 / ant
  ant is not TeX
  ☆23Updated 8 years ago
• erpuno / ws
  💠 WS: F# Веб-сокет сервер
  ☆84Updated last year
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆141Updated last year
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 weeks ago
• 5HT / avz
  🔑 AVZ: Social Authorization
  ☆41Updated 3 years ago