SP-Forth
SP-Forth is a reliable and comfortable Forth system producing optimized native code for the Intel x86 processors. It runs on MS Windows 9x, NT and Linux. Authors: Russian Forth Interest Group with the help of many contributors. Started by Andrey Cherezov in 1992.
| Original author(s) | Andrey Cherezov |
|---|---|
| Developer(s) | Russian Forth Interest Group with the help of many contributors |
| Initial release | 1992 |
| Stable release | 4.20
/ January 21, 2009 |
| Written in | Forth |
| Operating system | Microsoft Windows, Unix-like |
| Type | Interpreter |
| License | GNU GPLv3 |
| Website | spf |
Related projects
| Project | URL | Description |
|---|---|---|
Eserv |
www |
HTTP/FTP/SMTP/POP3/IMAP server and proxy for Win32 |
(many projects) |
www |
fourth-systems for pocket PC |
nnCron |
nncron |
unix-like cron scheduler for Windows with scripts |
forth-stript |
forth-script |
SP-Forth as CGI |
acweb |
acweb |
http-server for Win32 |
acfreeproxy |
acfreeproxy |
http proxy-server |
acftp |
acftp |
ftp server |
gollark: Are you trying to golf it or something?
gollark: Move it to just after the %?
gollark: Yes, 1.1 isn't part of the formatting code so it just prints the float then that.
gollark: Writing a bare metal microkernel in Haskell is not very practical.
gollark: > I never tried it. It's nice that it has these safety features but I prefer C++ still. > If I want to be sure that my program is free of bugs, I can write a formal specification and do a > correctness proof with the hoare calculus in some theorem proofer (People did that for the seL4 microkernel, which is free from bugs under some assumptions and used in satellites, nuclear power plants and such)Didn't doing that for seL4 require several hundred thousand lines of proof code?
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.