Alternatives and similar repositories for joe

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

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated 3 weeks ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated 3 weeks ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• o89 / n2o
  N2O: Application Server
  ☆12Updated 2 years ago
• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 4 years ago
• BitEdits / 5ht.co
  Namdak Tonpa Personal Journal
  ☆5Updated this week
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆47Updated 3 years ago
• BitEdits / be
  Binary Editor
  ☆19Updated 2 months ago
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Updated 2 months ago
• ilya-klyuchnikov / refal
  ☆13Updated 2 months ago
• synrc / ca
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆18Updated 7 months ago
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆21Updated 2 weeks ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆28Updated 3 years ago
• m-2k / erlach
  (⭑•͈ 𓎟 •͈ ) Real-time SPA Imageboad on Websocket written on Erlang
  ☆29Updated 2 months ago
• nponeccop / HNC
  HN Compiler
  ☆61Updated 6 years ago
• tapsters / swift-to-bert
  Bert encoder/decoder for Swift
  ☆10Updated 8 years ago
• 5HT / avz
  🔑 AVZ: Social Authorization
  ☆41Updated 3 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆27Updated 2 years ago
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 7 years ago
• uds-psl / coq-synthetic-computability
  ☆11Updated 3 months ago
• Relrin / bert-rs
  BERT (Binary ERlang Term) serializer for Rust
  ☆15Updated 8 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated last week
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated 3 weeks ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆24Updated 2 years ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆86Updated last month
• tapsters / etwilio
  Simply Erlang integration with Twilio
  ☆8Updated 7 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago