asmedit / be

Related projects ⓘ

Alternatives and complementary repositories for be

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 8 months ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated 8 months ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• 5HT / a64
  A64: ARM64 Assembler for Erlang
  ☆11Updated 4 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 2 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
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Updated last month
• 5HT / 5HT
  Namdak Tonpa Personal Journal
  ☆5Updated this week
• groupoid / joe
  🧊 Компілятор ML і віртуальна машина
  ☆9Updated 7 months ago
• synrc / ca
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆17Updated this week
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆19Updated 3 months ago
• camlunity / kamlo_wiki
  Wiki For Camlunity
  ☆13Updated 9 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆48Updated 3 years ago
• o7 / sample
  SAMPLE: Elixir Application
  ☆12Updated 3 years ago
• sayon / dwarf-vm
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Updated 4 years ago
• rbardou / red
  A command-line text editor in OCaml.
  ☆12Updated 5 years ago
• m-2k / erlach
  ☣⚫⚫ SPA Imageboad on WebSockets written on Erlang
  ☆28Updated 2 years ago
• prool / proolix
  Simple hobby POSIX-compatible OS for i8086+
  ☆17Updated last year
• widgetii / beye
  Binary EYE is a viewer of binary files with a built-in editor
  ☆21Updated 3 years ago
• gousiosg / AegeanC
  The Aegean C compiler
  ☆9Updated 8 years ago
• ilya-klyuchnikov / refal
  ☆12Updated last year
• susam / bfc
  Brainfuck compiler and interpreter
  ☆17Updated last year
• 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 …
  ☆13Updated 8 months ago
• maxdore / elfe
  Interactive Theorem Proving for students
  ☆20Updated last year
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆22Updated 2 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆14Updated 4 years ago
• inaimathi / serve-sml
  Minimal SML-based web server
  ☆14Updated 9 years ago