Alternatives and similar repositories for joe

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

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated this week
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• BitEdits / be
  Binary Editor
  ☆19Updated 2 months ago
• o89 / n2o
  N2O: Application Server
  ☆12Updated 2 years ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• BitEdits / 5ht.co
  Namdak Tonpa Personal Journal
  ☆5Updated last week
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 4 years ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 6 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆28Updated 3 years ago
• 0xd34df00d / hsqoi
  Haskell implementation of the QOI image format
  ☆17Updated last year
• sergei-romanenko / agda-simple-scp
  A simple supercompiler formally verified in Agda
  ☆34Updated 8 years ago
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆21Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• selectel / alberto
  A simple OCaml library for writing Erlang port drivers
  ☆43Updated 5 years ago
• ilya-klyuchnikov / refal
  ☆13Updated last month
• moonl1ght / rust-cuda
  rust + cuda integration
  ☆11Updated 6 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated this week
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 2 months ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆35Updated 5 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• voidlizard / hbs2
  P2P CAS / P2P Framework / Distributed GIT
  ☆17Updated last week
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• glagoly / glagoly
  online decision-making platform
  ☆14Updated last year
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Updated 2 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago