Alternatives and similar repositories for be

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

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated this week
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• 5HT / a64
  A64: ARM64 Assembler for Erlang
  ☆11Updated 4 years ago
• BitEdits / 5ht.co
  Namdak Tonpa Personal Journal
  ☆5Updated last week
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• ilya-klyuchnikov / refal
  ☆13Updated last month
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated last year
• groupoid / joe
  🧊 Мінімальна внутрішня мова декартово-замкнених категорій
  ☆9Updated last month
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Updated 2 months ago
• rbardou / red
  A command-line text editor in OCaml.
  ☆13Updated last month
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• nocursor / b58
  Elixir library for encoding and decoding Base58 and Base58Check using the Bitcoin/IPFS, Ripple, and Flickr alphabets.
  ☆12Updated 2 years ago
• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 4 years ago
• sayon / dwarf-vm
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Updated 4 years ago
• davidjbacon / SETL
  GNU SETL
  ☆30Updated 4 months ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• m-2k / erlach
  (⭑•͈ 𓎟 •͈ ) Real-time SPA Imageboad on Websocket written on Erlang
  ☆29Updated last month
• trinarygroup / DSSP-32
  Dialog System for Structured Programming
  ☆20Updated 8 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• glynawe / awe
  A compiler for the Algol W programming language.
  ☆14Updated 5 months ago
• prool / proolix
  Simple hobby POSIX-compatible OS for i8086+
  ☆17Updated 2 years ago
• inaimathi / serve-sml
  Minimal SML-based web server
  ☆14Updated 9 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• true-grue / fortik
  Tiny Forth-like language implementation
  ☆22Updated last year
• xldenis / besm
  Resurrecting PP-BESM
  ☆26Updated 2 years ago
• mk270 / blizanci
  A Gemini protocol server
  ☆30Updated last year
• synrc / ca
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆18Updated 6 months ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• rochus-keller / TccGen
  A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …
  ☆14Updated last year