Resume for Donald Edward Hopkins

https://www.donhopkins.com/home/resume.html

Recognition Grammar Specification, OpenLaszlo, Web Server Scripting Languages and Configuration Files, Slats Robot Dialog and Personality Simulation Format, Pie Menus, ConnectedTV

Loper OS » "Finite Field Arithmetic." Chapter 1: Genesis.

http://www.loper-os.org/?p=1913

No_Implementation_Aspect_Specifications ) ; pragma Restrictions ( No_Implementation_Units ) ; pragma Restrictions ( No_Implicit_Aliasing ) ; pragma Restrictions

keyboard

https://www.thissideofsanity.com/tools/keyboard.html

work on developing the specifications, drawing, schematics, and other documents necessary for fabrication will be released under the M.I.T. license. canabalizing I mentioned above
open source keyboard

Home Page - Metamath

https://us.metamath.org/

Metamath has a small specification that enables you to state a collection of axioms (assumptions), theorems, and proofs (aka a "database"). We have databases for several axiomatic

The Abort Guidance System

http://www.ibiblio.org/apollo/yaAGS.html

and Interface Specifications Document , Preliminary, July 1, 1966, 345 pages (not numbered). User's Guide for AGS Bit-by-Bit Simulator , Bulletin 672-21-EAS-208, K. B. Robertson,

Organization Sketch of IBM Stretch -- Mark Smotherman

https://people.computing.clemson.edu/~mark/stretch.html

procedures for the specification of programming languages." John Backus worked on the high-speed machine proposal to Livermore in early 1955, and wrote the "Computer System Design

Dave Raggett

https://www.w3.org/People/Raggett/

has produced the MathML specification. MathML is an XML application and very verbose. In search of an easier to learn and more concise notation, I have been inspired by how people

Metadata Activity

https://www.w3.org/Metadata/Activity

consists of a suite of specifications which enable people to distribute metadata about the content of digital material in the form of "labels". These contain information about the

C++ Applications

https://www.stroustrup.com/applications.html

. CoWare : system/chip specification in C++. Credit Agricole Indosuez Cheuvreux : uses C++ exclusively for tracking orders on the European stock markets. Dantz Development Corpora

Fourmilog: None Dare Call It Reason

https://www.fourmilab.ch/fourmilog/

Book Number (ISBN) specifications. Both utilities have been updated to use the most recent version of the ISBN Range database (Wed, 6 May 2020 14:51:46 CEST), replacing the Octobe

Markua Spec

https://markua.com/

This formal specification of Markua was developed at Leanpub , is written by Peter Armstrong, is based on the CommonMark Spec (version 0.31.2) by John MacFarlane, and is licensed

pForth - portable Forth in 'C'

https://www.softsynth.com/pforth/pf_tut.php

Java. JMSL - Java Music Specification Language PortAudio - cross platform audio I/O API for 'C' pForth  :  GitHub  |  Tutorial  |  Reference  |&

Find more...