asmedit / be

Related projects ⓘ

Alternatives and complementary repositories for be

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 7 months ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated 8 months ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 5 months ago
• groupoid / joe
  🧊 Компілятор ML і віртуальна машина
  ☆9Updated 7 months ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆79Updated 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
• rbardou / red
  A command-line text editor in OCaml.
  ☆12Updated 5 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 2 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆19Updated 3 months ago
• alexfru / MBiRa
  Single-sector (MBR) Boot Manager
  ☆20Updated last year
• 5HT / 5HT
  Namdak Tonpa Personal Journal
  ☆5Updated 2 weeks ago
• camlunity / kamlo_wiki
  Wiki For Camlunity
  ☆13Updated 9 years ago
• inaimathi / serve-sml
  Minimal SML-based web server
  ☆14Updated 9 years ago
• synrc / n2o.dev
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆14Updated last month
• jayrm / fb-lisp
  LISP Evaluator for FreeBASIC. An embedded LISP interpreter written entirely in FreeBASIC for use with FreeBASIC applications.
  ☆10Updated 6 years ago
• rofl0r / haxdiff
  a simple and human readable binary diff format and implementation
  ☆16Updated 9 months ago
• MPLLang / mpllib
  Official library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆15Updated 10 months ago
• ilya-klyuchnikov / refal
  ☆12Updated last year
• Kalimehtar / russian-lang
  Programming language based on russian language
  ☆14Updated last month
• davidjbacon / SETL
  GNU SETL
  ☆27Updated this week
• sayon / dwarf-vm
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Updated 4 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆48Updated 3 years ago
• the-grue / Mak-Pascal
  Compiler/Interpreter source code from Ronald Mak's book "Writing Compilers & Interpreters - An Applied Approach"
  ☆13Updated 5 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆22Updated 2 years ago