19 KiB
zForth
Source: https://github.com/zevv/zForth
GitHub - zevv/zForth: zForth: tiny, embeddable, flexible, compact Forth scripting language for embedded systems
Navigation Menu
Toggle navigation
Appearance settings
-
Platform
- AI CODE CREATION
- DEVELOPER WORKFLOWS
- APPLICATION SECURITY
- EXPLORE
-
Solutions
- BY COMPANY SIZE
- BY USE CASE
- BY INDUSTRY
-
Resources
- EXPLORE BY TOPIC
- EXPLORE BY TYPE
- SUPPORT & SERVICES
-
Open Source
- COMMUNITY
- PROGRAMS
- REPOSITORIES
-
Enterprise
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search
Clear
Provide feedback
We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted
Cancel Submit feedback
Saved searches
Use saved searches to filter your results more quickly
Name
Query
To see all available qualifiers, see our documentation.
Cancel Create saved search
Appearance settings
Resetting focus
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.
Dismiss alert
{{ message }}
- Notifications You must be signed in to change notification settings
- Fork 57
- Star 408
zForth: tiny, embeddable, flexible, compact Forth scripting language for embedded systems
License
408 stars 57 forks Branches Tags Activity
Notifications You must be signed in to change notification settings
Additional navigation options
zevv/zForth
master
Go to file
Code
Open more actions menu
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
| Latest commit History141 Commits 141 Commits | ||||
| .github/workflows | .github/workflows | |||
| forth | forth | |||
| src | src | |||
| .gitattributes | .gitattributes | |||
| .gitignore | .gitignore | |||
| LICENSE | LICENSE | |||
| Makefile | Makefile | |||
| README.md | README.md | |||
| zforth.png | zforth.png | |||
| View all files |
Repository files navigation
zForth
From Wikipedia:
A Forth environment combines the compiler with an interactive shell, where the user defines and runs subroutines called words. Words can be tested, redefined, and debugged as the source is entered without recompiling or restarting the whole program. All syntactic elements, including variables and basic operators are defined as words. Forth environments vary in how the resulting program is stored, but ideally running the program has the same effect as manually re-entering the source.
zForth is yet another Forth, but with some special features not found in most other forths. Note that zForth was written for engineers, not for language purists or Forth aficionados. Its main intention is to be a lightweight scripting language for extending embedded applications on small microprocessors. It is not particularly fast, but should be easy to integrate on any platform with a few kB's of ROM and RAM.
Also note that zForth is just a forth, but does not specifically implement or care about any of the standards like ANS Forth - the kernel might or might not behave as the standard, and the current standard library is rather limited.
For a lot of programmers Forth seems to belong to the domain of alien languages: it does not look like any mainstream language most people encounter, and is built on a number of philosophies that takes some time to get used to. Still, it is one of the more efficient ways of bringing a interpreter and compiler to a platform with restricted resources.
Some of zForth's highlights:
- Small dictionary: instead of relying on a fixed cell size, the dictionary is written in variable length cells: small and common numbers take less space then larger, resulting in 30% to 50% space saving
- Portable: zForth is written in 100% ANSI C, and runs on virtually all operating systems and all architectures. Tested on x86 Linux/Win32/MS-DOS (Turbo-C 1.0!), x86_64, ARM, ARM thumb, MIPS, Atmel AVR and the 8051.
- Small footprint: the kernel C code compiles to about 3 or 4 kB of machine code, depending on the architecture and chosen cell data types.
- Support for multiple instances: The compiler and VM state is stored in a struct, allowing multiple instances of zForth to run in parallel.
- Tracing: zForth is able to show a nice trace of what it is doing under the hood, see below for an example.
- VM: Implemented as a small virtual machine: not the fastest, but safe and flexible. Instead of having direct access to host memory, the forth VM memory is abstracted, allowing proper boundary checking on memory accesses and stack operations.
- Flexible data types: at compile time the user is free to choose what C data type should be used for the dictionary and the stacks. zForth supports signed integer sizes from 16 to 128 bit, but also works seamlessly with floating point types like float and double (or even the C99 'complex' type!)
- Ease interfacing: calling C code from forth is easy through a host system call primitive, and code has access to the stack for exchanging data between Forth and C. Calling forth from C is easy, just one function to evaluate forth code.
Source layout
./forth : core zforth library and various snippets and examples
./src/zforth : zfort core source; embed these into your program
./src/linux : example linux application
./src/atmega8 : example AVR atmega8 application
Usage
zForth consists of only two files: zforth.c and zforth.h. Add both to your
project and call zf_init() and zf_bootstrap() during initialisation. Read
forth statements from a file or terminal and pass the strings to zf_eval() to
interpret, compile and run the code. Check the embedded documentation in
zforth.h for details.
zforth.c depends on a number preprocessor constants for configuration which
you can choose to fit your needs. Documentation is included in the file
zfconf.h.
A demo application for running zForth in linux is provided here, simply run make
to build.
To start zForth and load the core forth code, run:
./src/linux/zforth forth/core.zf
And zForth will welcome you with the startup message:
Welcome to zForth, 786 bytes used
zForth is now ready to use. Try some of the following:
Adding one and one or calculate the 144 squared:
1 1 + .
144 dup * .
Print the sine of 10 numbers between 0 and PI
: pi 3.141592654 ;
: demo pi 0 do i sin . pi 10 / loop+ ;
demo
Load and run the demo Mandelbrot fractal:
include forth/mandel.zf
.........................----.....................
.....................----+--......................
.......................--*-.......................
........................- --.....--...............
...........----........--%---------...............
............-------------#---------...............
.............------------ ---------...............
.............------------ ---------...............
..............---------o o--------..............
..............---------o =----------------------
.............----o-oo =o-=--------------..
...........-------# *------------.....
........--------=-= o-=--------.......
....--------------= =---------........
......-------------+ +---------.........
.......-------------=# %=-----------........
........--------=- -=--------.......
.......------= =------------
.....---o = = =-------
--------- --------
---------o+ +o--------
---------o =--------
---=#=# = = #=#=--
---= =--
-=- + + ==
o---oo*== -=*=o---
---------= =--------
---------#= =#--------
-----------% %------....
---...----= =% - #= =----.....
.......---=o----* =+*---------*+- *----o=----.....
........--------------------------------------....
Tracing
zForth can write verbose traces of the code it is compiling and running. To enable
tracing, run ./zforth with the -t argument. Tracing can be enabled at run time
by writing 1 in the trace variable:
1 trace !
Make sure the feature ZF_ENABLE_TRACING is enabled in zfconf.h to compile in tracing support.
The following symbols are used:
- stack operations are prefixed with a double arrow,
«means pop,»means push. for operations on the return stack the arrow is prefixed with anr - the current word being executed is shown in square brackets, the format
is
[<name>/<address>] - lines starting with a + show values being added to the dictionary
- lines starting with a space show the current line being executed, format
<address> <data> - lines starting with
===show the creation of a new word
: square dup * ;
: test 5 square . ;
test
Executing the word test:
test
r»0
[test/0326]
0326 0001 ┊ (lit) »5
0328 031c ┊ square/031c r»810
031c 000b ┊ ┊ (dup) «5 »5 »5
031d 0007 ┊ ┊ (*) «5 «5 »25
031e 0000 ┊ ┊ (exit) r«810
032a 0133 ┊ ./0133 r»812
0133 0001 ┊ ┊ (lit) »1
0135 0019 ┊ ┊ (sys) «1 «25
0136 0000 ┊ ┊ (exit) r«812
032c 0000 ┊ (exit) r«0 25
This is the trace of the definition of the square and test words
: square dup * ;
r»0
[:/002c]
002c 0003 ┊ (:)
002c 0003 ┊ (:)
=== create 'square'
+0313 0006 ¹
+0314 02eb ²
+0316 0000 s 'square'
===
002d 0000 ┊ (exit) r«0
+031c 000b ¹ +dup
+031d 0007 ¹ +*r»0
[;/0031]
0031 0004 ┊ (;)
+031e 0000 ¹ +exit
===
0032 0000 ┊ (exit) r«0
: test 5 square . ;
r»0
[:/002c]
002c 0003 ┊ (:)
002c 0003 ┊ (:)
=== create 'test'
+031f 0004 ¹
+0320 0313 ²
+0322 0000 s 'test'
===
002d 0000 ┊ (exit) r«0
+0326 0001 ¹ +lit
+0327 0005 ¹
+0328 031c ² +square
+032a 0133 ² +.r»0
[;/0031]
0031 0004 ┊ (;)
+032c 0000 ¹ +exit
===
0032 0000 ┊ (exit) r«0
Dependencies
The zForth core itself has no external dependencies, the linux example depends on libreadline-dev.
About
zForth: tiny, embeddable, flexible, compact Forth scripting language for embedded systems
Topics
Resources
License
Uh oh!
There was an error while loading. Please reload this page.
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Uh oh!
There was an error while loading. Please reload this page.
Contributors 14
Uh oh!
There was an error while loading. Please reload this page.
Languages
Footer
© 2026 GitHub, Inc.
Footer navigation
- Terms
- Privacy
- Security
- Status
- Community
- Docs
- Contact
- Manage cookies
- Do not share my personal information
You can’t perform that action at this time.