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 6 years ago
• jamesbowman / ga144tools
  CCPU for GA144
  ☆22Updated 6 years ago
• samawati / j1eforth
  eForth for the j1 simulator and actual J1 FPGAs
  ☆35Updated 10 years ago
• grokthis / ucisc
  ☆23Updated 2 years ago
• malyn / MFORTH
  ANS Forth for the TRS-80 Model 100 laptop computer.
  ☆21Updated 4 years ago
• ForthHub / F83
  F83 Forth by Laxen & Perry
  ☆42Updated 10 years ago
• bfox9900 / CAMEL99-ITC
  Indirect threaded code version of CAMEL99 Forth for TI-99 computer
  ☆30Updated this week
• scotws / TaliForth2
  A Subroutine Threaded Code (STC) ANS-like Forth for the 65c02
  ☆88Updated 2 years ago
• mschuldt / rtx2000_simulator
  A simulator for the RTX2000 processor
  ☆22Updated 7 years ago
• davidgiven / fforth
  A small, portable Forth written in Posix C
  ☆50Updated 5 years ago
• borb / tripos
  Historical sources for the TRIvial Operating System
  ☆41Updated 5 years ago
• zuloloxi / mecrisp-ice
  http://mecrisp.sourceforge.net/ Mecrisp-Ice is an enhanced version of Swapforth and the J1a stack processor by James Bowman, featuring th…
  ☆29Updated 8 years ago
• ForthHub / FIG-Forth
  FIG Forth model for Apple II 6502
  ☆30Updated 7 years ago
• tjmerritt / z80
  Parag Patel's Z80 Emulator
  ☆50Updated 9 years ago
• Saanlima / Pepino
  ☆27Updated 5 years ago
• flagxor / rainbowforth
  ☆40Updated last year
• lawrencewoodman / xAce
  A Jupiter Ace Emulator
  ☆37Updated 2 years 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
• larsbrinkhoff / nybbleForth
  Stack machine with 4-bit instructions
  ☆75Updated 7 years ago
• andysworkshop / ase
  Andy's Workshop Sprite Engine
  ☆45Updated 10 years ago
• cstrotm / f68kans
  Forth system for M68K machines, origin: http://hardcode.de/us/index.html
  ☆21Updated 5 years ago
• jefftranter / udis
  Universal Disassembler program for 8-bit microprocessors
  ☆26Updated 10 months ago
• hoglet67 / AtomFpga
  Dave's version of the Acorn Atom FPGA, based on AlanD's original from stardot.org.uk
  ☆34Updated last year
• aap / tenth
  A simple bare-metal forth for the PDP-10
  ☆40Updated 9 years ago
• M2IHP13-admin / JonesForth-arm
  ☆84Updated 9 years ago
• mcmenaminadrian / riscyforth
  Forth for RISC-V SBCs
  ☆32Updated 4 months 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
• brouhaha / cosmac
  RCA COSMAC CDP1802 functional equivalent CPU core in VHDL
  ☆26Updated 7 years ago
• Robert-van-Engelen / Forth500
  A complete Forth Standard system for the SHARP PC-E500(S)
  ☆28Updated last year
• RogerLevy / lantern
  (DEPRECATED, SEE README)
  ☆12Updated 6 years ago