Alternatives and similar repositories for Z3:

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

• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆31Updated 5 years ago
• samawati / j1eforth
  eForth for the j1 simulator and actual J1 FPGAs
  ☆34Updated 9 years ago
• davidgiven / fforth
  A small, portable Forth written in Posix C
  ☆48Updated 5 years ago
• scotws / TaliForth2
  A Subroutine Threaded Code (STC) ANS-like Forth for the 65c02
  ☆87Updated 2 years ago
• malyn / MFORTH
  ANS Forth for the TRS-80 Model 100 laptop computer.
  ☆21Updated 3 years ago
• jamesbowman / ga144tools
  CCPU for GA144
  ☆22Updated 6 years ago
• jamesbowman / forth-ft800
  Forth bindings for the FTDI FT800/Gameduino2
  ☆22Updated 9 years ago
• RussellSprouts / ice-forth
  ☆68Updated 4 years ago
• lawrencewoodman / xAce
  A Jupiter Ace Emulator
  ☆36Updated 2 years ago
• aap / tenth
  A simple bare-metal forth for the PDP-10
  ☆40Updated 8 years ago
• frno7 / frth
  Frth is a subroutine threaded Forth system written in Forth itself for the targets x86, x64 and 68k on Linux and macOS among others.
  ☆21Updated 7 years ago
• grokthis / ucisc
  ☆23Updated 2 years ago
• ekoeppen / CoreForthSE
  Experimental subroutine threaded and optimized version of CoreForth
  ☆14Updated 5 years ago
• tjmerritt / z80
  Parag Patel's Z80 Emulator
  ☆50Updated 8 years ago
• aviatorRHK / rpiForth
  A Forth Operating System for Raspberry Pi
  ☆72Updated 11 years ago
• flagxor / rainbowforth
  ☆38Updated last year
• ForthHub / F83
  F83 Forth by Laxen & Perry
  ☆41Updated 9 years ago
• forth-ev / VolksForth
  volksFORTH is a 16bit Forth System maintained by the German Forth Gesellschaft e.V.
  ☆67Updated last month
• jefftranter / udis
  Universal Disassembler program for 8-bit microprocessors
  ☆26Updated 7 months ago
• ForthHub / cmFORTH
  Copy of cmFORTH
  ☆38Updated 3 years ago
• dylanmc / itsy-forth
  MacOS port of Linux port of itsy forth by John Metcalf
  ☆8Updated 9 years ago
• revaldinho / opc
  One Page CPU Project - CPU, Assembler & Emulator each in a single page of code
  ☆81Updated 6 months ago
• uho / minimal
  Minimal Forth Workbench provides an educational subset of Standard Forth, feel free to experiment.
  ☆24Updated 10 months ago
• cthulhuology / forth
  a x86_64 forth implemented in forth
  ☆13Updated 8 years ago
• mschuldt / rtx2000_simulator
  A simulator for the RTX2000 processor
  ☆22Updated 6 years ago
• borb / tripos
  Historical sources for the TRIvial Operating System
  ☆39Updated 5 years ago
• brouhaha / cosmac
  RCA COSMAC CDP1802 functional equivalent CPU core in VHDL
  ☆26Updated 7 years ago
• larsbrinkhoff / nybbleForth
  Stack machine with 4-bit instructions
  ☆73Updated 7 years ago
• larsbrinkhoff / xForth
  Experimental Forth cross compiler for tiny devices
  ☆63Updated 3 years ago
• option8 / OUP-M
  Source for OUP/M - a CP/M-like operating system for 6502
  ☆55Updated 6 years ago