Alternatives and similar repositories for Z3

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

• davidgiven / fforth
  A small, portable Forth written in Posix C
  ☆50Updated 5 years ago
• scotws / TaliForth2
  A Subroutine Threaded Code (STC) ANS-like Forth for the 65c02
  ☆90Updated 2 years ago
• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆32Updated 6 years ago
• samawati / j1eforth
  eForth for the j1 simulator and actual J1 FPGAs
  ☆35Updated 10 years ago
• malyn / MFORTH
  ANS Forth for the TRS-80 Model 100 laptop computer.
  ☆22Updated 4 years ago
• mschuldt / rtx2000_simulator
  A simulator for the RTX2000 processor
  ☆23Updated 7 years ago
• ForthHub / F83
  F83 Forth by Laxen & Perry
  ☆42Updated 10 years ago
• amsat-dl / IPS
  IPS - High Level Programming of Small Systems for the AMSAT space projects (communication satellites for radio amateurs)
  ☆23Updated 5 years ago
• hausdorff / turtles
  Lisp interpreter written for the Apple //e. It's called turtles because guess how slow it is.
  ☆85Updated 11 years ago
• Saanlima / Pepino
  ☆27Updated 5 years ago
• tjmerritt / z80
  Parag Patel's Z80 Emulator
  ☆50Updated 9 years ago
• flagxor / rainbowforth
  ☆40Updated last year
• grokthis / ucisc
  ☆23Updated 2 years ago
• larsbrinkhoff / forth-documents
  Forth douments, books, papers
  ☆80Updated 7 years ago
• revaldinho / opc
  One Page CPU Project - CPU, Assembler & Emulator each in a single page of code
  ☆82Updated 11 months ago
• GadgetFactory / Papilio-Arcade
  A collection of arcade games targeted for Papilio FPGA boards. Many of the games are from FPGAArcade.com.
  ☆49Updated 9 years ago
• narenratan / jonesforth_arm64_apl
  JonesForth ARM64 with APL symbols
  ☆34Updated 2 years ago
• RickCarlino / Cosmic-Conquest-1982
  (Historic) Resurrecting one of the first real time strategy (RTS) games from 1982. Written in Forth.
  ☆40Updated 3 years ago
• ZornsLemma / lib6502-jit
  JIT compiler for 6502 machine code, built on lib6502 and LLVM
  ☆54Updated 10 years ago
• ForthHub / FIG-Forth
  FIG Forth model for Apple II 6502
  ☆30Updated 7 years ago
• larsbrinkhoff / nybbleForth
  Stack machine with 4-bit instructions
  ☆75Updated 7 years ago
• RussellSprouts / ice-forth
  ☆68Updated 4 years ago
• jefftranter / udis
  Universal Disassembler program for 8-bit microprocessors
  ☆26Updated 11 months ago
• aviatorRHK / rpiForth
  A Forth Operating System for Raspberry Pi
  ☆74Updated 12 years ago
• jamesbowman / ga144tools
  CCPU for GA144
  ☆23Updated 6 years ago
• jamesbowman / forth-ft800
  Forth bindings for the FTDI FT800/Gameduino2
  ☆22Updated 9 years ago
• forth-ev / VolksForth
  volksFORTH is a 16bit Forth System maintained by the German Forth Gesellschaft e.V.
  ☆75Updated last month
• lisper / cpus-pdp8
  FPGA based PDP-8/i clone in verilog. Includes several TSS/8 sources and utiltities to build from source
  ☆25Updated 9 years ago
• option8 / OUP-M
  Source for OUP/M - a CP/M-like operating system for 6502
  ☆56Updated 6 years ago
• ForthHub / cmFORTH
  Copy of cmFORTH
  ☆39Updated 3 years ago