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
  ☆51Updated 5 years ago
• samawati / j1eforth
  eForth for the j1 simulator and actual J1 FPGAs
  ☆36Updated 10 years ago
• hausdorff / turtles
  Lisp interpreter written for the Apple //e. It's called turtles because guess how slow it is.
  ☆86Updated 11 years ago
• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆32Updated 6 years ago
• tjmerritt / z80
  Parag Patel's Z80 Emulator
  ☆50Updated 9 years ago
• malyn / MFORTH
  ANS Forth for the TRS-80 Model 100 laptop computer.
  ☆22Updated 4 years ago
• aap / tenth
  A simple bare-metal forth for the PDP-10
  ☆39Updated 9 years ago
• larsbrinkhoff / xForth
  Experimental Forth cross compiler for tiny devices
  ☆66Updated last month
• scotws / TaliForth2
  A Subroutine Threaded Code (STC) ANS-like Forth for the 65c02
  ☆91Updated 2 years ago
• revaldinho / opc
  One Page CPU Project - CPU, Assembler & Emulator each in a single page of code
  ☆82Updated last year
• drom / shift-forth
  shift-ast to Forth compiler
  ☆17Updated 10 years ago
• Saanlima / Pepino
  ☆27Updated 5 years ago
• ForthHub / F83
  F83 Forth by Laxen & Perry
  ☆44Updated 10 years ago
• aviatorRHK / rpiForth
  A Forth Operating System for Raspberry Pi
  ☆73Updated 12 years ago
• RussellSprouts / ice-forth
  ☆69Updated 5 years ago
• lisper / cpus-pdp11
  FPGA based PDP-11 cpu
  ☆18Updated 9 years ago
• jamesbowman / ga144tools
  CCPU for GA144
  ☆23Updated 7 years ago
• monsonite / 1968-FORTH
  Original Forth for 1BM 1130 written by Charles Moore in 1968.
  ☆45Updated 3 years ago
• devzendo / transputer-emulator
  This is a portable, open source emulator of the 32-bit Inmos T414/T800/T801/T805 Transputer family, and a host/file I/O Server that inter…
  ☆20Updated this week
• jamesbowman / forth-ft800
  Forth bindings for the FTDI FT800/Gameduino2
  ☆22Updated 9 years ago
• lkesteloot / alice
  Website documenting a hardware project from the 1990s.
  ☆76Updated 2 years ago
• mcmenaminadrian / riscyforth
  Forth for RISC-V SBCs
  ☆32Updated 2 months ago
• uho / minimal
  Minimal Forth Workbench provides an educational subset of Standard Forth, feel free to experiment.
  ☆24Updated last year
• emeb / up5k_basic
  A small 6502 system with MS BASIC in ROM
  ☆54Updated 6 years ago
• grokthis / ucisc
  ☆23Updated 3 years 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…
  ☆77Updated 4 years ago
• flagxor / rainbowforth
  ☆40Updated last year
• 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
• larsbrinkhoff / forth-documents
  Forth douments, books, papers
  ☆81Updated 7 years ago
• DigitalMars / Empire-for-PDP-11
  Empire for the PDP-11 in Macro-11 assembler language
  ☆32Updated 12 years ago