Alternatives and similar repositories for be:

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

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 11 months ago
• alexfru / MBiRa
  Single-sector (MBR) Boot Manager
  ☆21Updated last year
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 4 years ago
• groupoid / joe
  🧊 Компілятор ML і віртуальна машина
  ☆9Updated 10 months ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated 11 months ago
• stsp / djstub
  go32-compatible stub that supports COFF, PE and ELF payloads
  ☆12Updated last week
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆21Updated this week
• ilya-klyuchnikov / refal
  ☆13Updated 2 years ago
• rofl0r / haxdiff
  a simple and human readable binary diff format and implementation
  ☆17Updated last year
• KolibriOS / cminusminus
  C-- compiler upstream
  ☆38Updated 4 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• sayon / dwarf-vm
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Updated 4 years ago
• Baron-von-Riedesel / jwlink
  jwlink is a fork of the open watcom linker wlink. May create 16-, 32- and 64-bit binaries.
  ☆23Updated 3 years ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆83Updated last year
• mras0 / sasm
  Self-hosting Real Mode x86 Assembler
  ☆33Updated 3 months ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• prool / proolix
  Simple hobby POSIX-compatible OS for i8086+
  ☆17Updated 2 years ago
• prolog8 / awkprolog
  Prolog in AWK
  ☆16Updated 7 years ago
• yasukata / fmalloc
  malloc for memory-mapped files
  ☆13Updated 4 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 6 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆14Updated 4 years ago
• ProgrammerArchaeology / bellcore-mgr
  ☆13Updated 6 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆75Updated last year
• the-grue / Mak-Pascal
  Compiler/Interpreter source code from Ronald Mak's book "Writing Compilers & Interpreters - An Applied Approach"
  ☆13Updated 5 years ago
• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆14Updated 5 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 9 months ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 2 years ago
• VictorTaelin / escoc-libs-legacy
  Base Formality libraries
  ☆9Updated 5 years ago
• 5HT / 5HT
  Namdak Tonpa Personal Journal
  ☆5Updated this week