Alternatives and similar repositories for be:

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

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated last year
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• nocursor / b58
  Elixir library for encoding and decoding Base58 and Base58Check using the Bitcoin/IPFS, Ripple, and Flickr alphabets.
  ☆12Updated 2 years ago
• 5HT / a64
  A64: ARM64 Assembler for Erlang
  ☆11Updated 4 years ago
• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 4 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 11 months ago
• synrc / ca
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆18Updated 5 months ago
• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆13Updated 5 years ago
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Updated 3 weeks ago
• kfl / webserver-functor
  Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.
  ☆13Updated 11 years ago
• davidjbacon / SETL
  GNU SETL
  ☆29Updated 2 months ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 6 years ago
• rbkmoney / genlib
  Things long time missing from stdlib
  ☆12Updated 3 years ago
• m-2k / erlach
  ☣⚫⚫ SPA Imageboad on WebSockets written on Erlang
  ☆29Updated this week
• otpcl / otpcl
  Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang
  ☆38Updated 2 years ago
• aeternity / aebytecode
  Aeternity virtual machines byte code modules
  ☆14Updated last year
• ilya-klyuchnikov / refal
  ☆13Updated last week
• tapsters / etwilio
  Simply Erlang integration with Twilio
  ☆8Updated 6 years ago
• BitEdits / 5ht.co
  Namdak Tonpa Personal Journal
  ☆5Updated last week
• rbardou / red
  A command-line text editor in OCaml.
  ☆12Updated last week
• rofl0r / haxdiff
  a simple and human readable binary diff format and implementation
  ☆17Updated last year
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• glynawe / awe
  A compiler for the Algol W programming language.
  ☆13Updated 4 months ago
• sntran / gen_nntp
  The Erlang (and Elixir) NNTP client and server library
  ☆8Updated last year
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 2 years ago
• jcs / pce
  fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation
  ☆10Updated 2 years ago