Alternatives and similar repositories for cfm

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

• jjyr / jonesforth_riscv
  Jonesforth RISC-V port.
  ☆62Updated 4 years ago
• gergoerdi / clash-intel8080
  Intel 8080 CPU core: software emulator and CLaSH hardware description
  ☆28Updated 2 years ago
• clash-lang / clash-starters
  Projects to get started with Clash
  ☆30Updated 2 months ago
• c2d7fa / jonasforth
  Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)
  ☆47Updated 4 years ago
• grokthis / ucisc
  ☆23Updated 3 weeks ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 5 years ago
• kragen / tokthr
  tiny token-threaded bytecode interpreter in x86 assembly
  ☆44Updated 16 years ago
• ku-fpg / kansas-lava
  Kansas Lava
  ☆49Updated 6 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆37Updated 2 months ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• christiaanb / contranomy
  ☆30Updated 4 years ago
• tomahawkins / verilog
  A Verilog parser for Haskell.
  ☆36Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 9 months ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆26Updated 6 years ago
• mschuldt / forth_wizard
  Finds optimal code sequences for stack transformations
  ☆26Updated 6 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆54Updated 8 years ago
• solbjorg / oberon-riscv
  Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluat…
  ☆78Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months ago
• ablevm / libable
  An efficient, portable and secure general-purpose virtual machine and virtual network as a library
  ☆18Updated 2 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆31Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆57Updated 6 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• larsbrinkhoff / nybbleForth
  Stack machine with 4-bit instructions
  ☆79Updated 7 years ago
• tlively / BrainCoqulus
  A formally verified compiler of untyped lambda calculus to brainfuck
  ☆16Updated 8 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• machdyne / kakao
  Kakao Linux
  ☆38Updated 5 months ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago