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
• tomahawkins / verilog
  A Verilog parser for Haskell.
  ☆36Updated 4 years ago
• clash-lang / clash-starters
  Projects to get started with Clash
  ☆30Updated last week
• christiaanb / contranomy
  ☆30Updated 4 years ago
• kragen / tokthr
  tiny token-threaded bytecode interpreter in x86 assembly
  ☆44Updated 16 years ago
• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆26Updated 6 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆54Updated 8 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated last week
• ku-fpg / kansas-lava
  Kansas Lava
  ☆50Updated 6 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 6 months 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
• blarney-lang / blarney
  Haskell library for hardware description
  ☆104Updated 3 months ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 6 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• adamwalker / clash-riscv
  A RiscV processor implementing the RV32I instruction set written in Clash
  ☆55Updated 7 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months ago
• mschuldt / forth_wizard
  Finds optimal code sequences for stack transformations
  ☆26Updated 6 years ago
• tlively / BrainCoqulus
  A formally verified compiler of untyped lambda calculus to brainfuck
  ☆16Updated 8 years ago
• c2d7fa / jonasforth
  Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)
  ☆48Updated 4 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆31Updated 4 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated 2 months ago
• grokthis / ucisc
  ☆23Updated last month
• mschuldt / ga-tools
  Python based tool chain for the GA144 multi-computer chip
  ☆23Updated 2 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆77Updated 5 years ago
• machdyne / kakao
  Kakao Linux
  ☆38Updated 5 months ago