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.
  ☆59Updated 4 years ago
• gergoerdi / clash-intel8080
  Intel 8080 CPU core: software emulator and CLaSH hardware description
  ☆28Updated 2 years ago
• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆25Updated 6 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated 3 weeks ago
• clash-lang / clash-starters
  Projects to get started with Clash
  ☆30Updated this week
• ku-fpg / kansas-lava
  Kansas Lava
  ☆48Updated 5 years ago
• kragen / tokthr
  tiny token-threaded bytecode interpreter in x86 assembly
  ☆44Updated 16 years ago
• christiaanb / contranomy
  ☆30Updated 4 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆75Updated 8 years ago
• blarney-lang / blarney
  Haskell library for hardware description
  ☆104Updated last week
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆53Updated 8 years ago
• tomahawkins / verilog
  A Verilog parser for Haskell.
  ☆36Updated 4 years ago
• c2d7fa / jonasforth
  Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)
  ☆46Updated 4 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 5 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 7 months ago
• grokthis / ucisc
  ☆23Updated 2 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• zwizwa / staapl
  A Racket-based Forth / Macro Assembler on steroids for PIC18F
  ☆40Updated 2 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 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…
  ☆77Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 4 months ago
• sirius-cc-wu / rtforth
  Forth implemented in Rust for realtime application
  ☆88Updated last year
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆29Updated last year
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 4 years ago
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 7 years ago