The Nascom Home Pagehttp://www.nascomhomepage.com/#TheNascomRepository/mon/nassys1.txt
his book 'Machine Code Programming for the Nascom 1 & 2'. 2011-12-28 Rebecca Yates contributed the manual for Dungeon Quest and the game Dungeon Quest . 2011-12-25 Rebecca Yates c
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
and Distributed Programming (the 2nd Edition , which is based on Spin), Ben-Ari, Addison-Wesley, 2006. Model Checking with Spin (in Japanese), by Shin Nakajima, Publ. Kindai Kagud
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
NLnet; All projectshttps://nlnet.nl/project/
2024 Purely functional programming language designed to "type" binary files Armbian User-operated Internet Fund 2021 Versatile OS for ARM-based single board computers ARMify NGI0
S.U.P.E.R. - The Largest 200LX Software Archivehttp://mizj.com/
KB) added 12/20/1998 (Programming) Version 1 by Norman Newman Courtesy of The HP Palmtop Paper This file contains an old but interesting artificial intelligence system that you ca
The Palmtop Network's SUPER Site is the largest collection of Hewlett-Packard 200LX palmtop computer software on the Internet.
Create a CD catalogue, a Web site, a manual on Web or make autoinstall CD-ROM with internal search engine, it is easy with HyperPublish. All vhttp://www.hyperpublish.com/
any HTML or JavaScript programming knowledge. It is suitable for beginners, intuitive, fast, yet very powerful. Even a kid can use it! You can manage frames with drag&drop, yo
Create a CD catalogue, publish a Web site, build a CDROM with internal search engine, make a manual and also Html Help CHM or WinHelp: all visual, no code! HyperPublish is a quick
BiMAVs; Bipedal Mechanized Assault Vehicleshttp://www.bimavs.com/
statements, any kind of programming code, or anything else that has been designed in(she does some of that). A good analogy is a Japanese character which has the variation on the
Sky Net: What makes nukes fly, what commands navies and armies, what makes all organisms think and intercommunicate, and what tweaks all the Ons in the universe, Sky Command: Defen
Kragen Javier Sitaker’s home pagehttp://canonical.org/~kragen/
my web pages. Software, programming, and system administration The Tao of Programming , translated by Geoffrey James, is a metaphorical and allusive book on the experience of prog
NLnet; All projectshttps://nlnet.nl/project/index.html
2024 Purely functional programming language designed to "type" binary files Armbian User-operated Internet Fund 2021 Versatile OS for ARM-based single board computers ARMify NGI0
Unix/Linux Commands, Syntax, And Noteshttps://zerocontradictions.net/programming/linux-commands-notes
: parse file-name Shell programming comes in two flavors: shell scripts and shell functions. Shell scripts, once defined, can be executed just like any other executable as long as
This webpage features a summary of commands and information from the Unix Programming Environment, and other commands and information compiled from other sources.
Find more...