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
  ☆52Updated 5 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
• scotws / TaliForth2
  A Subroutine Threaded Code (STC) ANS-like Forth for the 65c02
  ☆90Updated 2 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
• aap / tenth
  A simple bare-metal forth for the PDP-10
  ☆40Updated 9 years ago
• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆32Updated 6 years ago
• jamesbowman / ga144tools
  CCPU for GA144
  ☆23Updated 7 years ago
• grokthis / ucisc
  ☆23Updated 2 years ago
• RussellSprouts / ice-forth
  ☆68Updated 5 years ago
• revaldinho / opc
  One Page CPU Project - CPU, Assembler & Emulator each in a single page of code
  ☆82Updated last year
• Saanlima / Pepino
  ☆27Updated 5 years ago
• tjmerritt / z80
  Parag Patel's Z80 Emulator
  ☆50Updated 9 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 2 weeks ago
• borb / tripos
  Historical sources for the TRIvial Operating System
  ☆43Updated 5 years ago
• lisper / cpus-pdp11
  FPGA based PDP-11 cpu
  ☆18Updated 9 years ago
• monsonite / 1968-FORTH
  Original Forth for 1BM 1130 written by Charles Moore in 1968.
  ☆45Updated 3 years ago
• jefftranter / udis
  Universal Disassembler program for 8-bit microprocessors
  ☆26Updated last month
• drom / shift-forth
  shift-ast to Forth compiler
  ☆17Updated 10 years ago
• gerryjackson / forth2012-test-suite
  Test programs for Forth 2012 and ANS Forth
  ☆76Updated 5 months ago
• itafroma / zork-mdl
  Original MDL source code for MIT's version of Zork
  ☆82Updated 6 years ago
• cstrotm / f68kans
  Forth system for M68K machines, origin: http://hardcode.de/us/index.html
  ☆21Updated 6 years ago
• chitselb / pettil
  6502 Forth-83 dialect for the Commodore PET 2001
  ☆35Updated 4 years ago
• larsbrinkhoff / xForth
  Experimental Forth cross compiler for tiny devices
  ☆66Updated last week
• tonyrog / f18
  Green Arrays Forth chip F18A simulator
  ☆17Updated 6 years ago
• ForthHub / cmFORTH
  Copy of cmFORTH
  ☆39Updated 3 years ago
• KedalionDaimon / LispForTandy
  Ported Lisp in BASIC to Tandy TRS-80 Model 100 (Kyocera KC-85 family), originally written by Randy Beer 1981.
  ☆20Updated 5 years ago
• mcmenaminadrian / riscyforth
  Forth for RISC-V SBCs
  ☆32Updated this week
• amsat-dl / IPS
  IPS - High Level Programming of Small Systems for the AMSAT space projects (communication satellites for radio amateurs)
  ☆24Updated 5 years ago