1ml

ABC

Action Script

Wikipedia, Action Script 3; ECMAScript 5

ADA

A-Z of Programming Language

Actors on Java or Scala

Akka

Agda

Albatross

Aldor

Site; Wiki

Algol 60

Revised Report on the Algorithmic Language Algol 60

Algol68

1968 Draft, 1975 Report, Interpreter, top level syntax, many links, more links, Sian Leitch’s Manual, Wikipedia Synopsis resurrected from http://www.seasys.demon.co.uk/SSP82h/Algol68.html via wayBack machine; ISBN = 0720407265 for C. H. Lindsey’s “Informal Introduction to Algol 68” Penultimate Draft Report on the Algorithmic Language Algol 68; implementations and dialects; Algol 68RS; my stuff

AmbientTalk

AppleScript

‘spec’

APL

ART

A byte code language, sort of, in Android from Google. Dalvik; ancestor of Art

as (GNU assembler)

general, general&68K, x86

asm.js

spec

ATS

Dependent types

AWK

Axiom

Axum

B

bash

as language, builtin commands peculiar to bash

BETA

BCPL

BitC

root, spec; papers

BLISS (from DEC)

BLISS Language Reference Manual, (text); wikipedia

Bluespec (Compiles to Verilog)

“Reference Guide”, commercial site

Boo

main

C

2011 ANSI; 2010 Draft, C99 (2005), 1998 1.3 MB flat html spec, CHERI C, pthreads, Big thick book including annotated definition, format, precedence,
Safe[Rutgers, Oiwa, Oiwa2]

C++

Stroustrup’s Nexus, thru 2014, general, def relative to C [GTK+ (graphics)] A-Z of Programming Languages; C++'11 Support in Clang; C++11; C++11Δ; C++14; According to Linus

C#

A-Z of Programming Languages

CakeML

Cap’n Proto (binary interchange language)

Ceylon

doc

Clean

FAQ; from Haskell

CLU

Home, Wikipedia

Clojure

reader

CLR (Microsoft)

Collection of pointers, Mono, Standard ECMA-335

COBOL

Common LISP

about the HyperSpec; HyperSpec (an interesting experiment in ‘specification’ aside from the language); CMU; code collection

Coq

manual

Croquet

Cryptol

CUDA for GPU’s

CVS

Cyclone

manual; story; WP

D

Mac; Çehreli’s book, WP, My notes

Dart

WP, Language

Dyna

site

E

Home; mail-list; Kernel E, E in a Walnut, Combex; Wiki

ECMAScript

pdf by ECMA; Standard ECMA-262 6th Edition / June 2015

Elixir

Parallel; upon Erlang; no online spec found.

Elm

Emerald

Erlang

Free

Euclid

F

F#

home, WP, MS Ref?, Interactive

Factor

main, spec, WP

Forsythe

Forth

fig, hardware, WP

Fortran

Current Standards, My experience with the first Fortran. F90, New in Fortran 2003, Draft FN 2003; 1401

Fortress

Presentation; root; spec

GAP (Group modeling)

GAS Gnu Assembler

Gedanken

xx

git (??)

top; Understanding Git Conceptually, sour grapes; bottom up; Innards; manual?

GMP (multi precision routines)

GMP, internal format

Go (Google)

home, def, WP, Commentary My note

Grace

specs

Groovy

main, xx

Haskell

An Overview of Haskell, web, A tutorial, Interactive, performance, Haskell' (conservative extension), Haskell: ( 1997, 2002 (stable), 2010), pointers, Monad, Monads, Monads, and more monads3; text book, interview, MP, GHC Documentation, Learn, Platform bugs

HOL Light (proof/program)

main

html (markup)

W3C(4, 4 -> 5, 5); WHATWG; w3cSchool

Icon

Arizona

Idris

Io

here

Isabelle

Tutorial

Ivory

embedded domain-specific language for safer systems programming

J

COMPUTERS AND MATHEMATICAL NOTATION, fp, papers

Jam (like Make)

By Perforce; My notes on building a Mac jam.

Java

Java; Libraries [6, 7] Language Spec (SE 8); Java 2 (= Java 1.4)[root; JVM spec] JavaBeans; JavaDoc; 1.3.1 API; 1.4.2 API; 1.5.0 API; Top Doc 5; java.lang.* & java.util.*; Trail Map; Jini; Java for Mac; Princeton Java Security; Bogdan's Nexus; IBM's Jikes; Java 1.3:[root], Pizza, Eclipse:SWT, Images; Unbreakable Java?; Java Class File Spec (Draft); Byte code verifier; float noise

JavaScript

ECMAScript 5, ES6. html; lang & context; my notes; Core JavaScript, as high order language; Crockford’s Notes; Mozilla’s JS2 nexus; SpiderMonkey; Eich's blog, Tamarin; ECMA Script 4 proposal; Caja; DOM; OCaml in JavaScript!!; strict, 2; De obfuscator

Joule

Joy

Joe-E

JSON (text string data language)

.org, WP

Julia

2018

Kernel

xx, my note

Koka

github; book

Kotlin (Somewhat modernized Java on a Syntax diet)

Lambda Calculus

Precursor to programming languages

Latex (markup)

Linear Continuation-Passing

Lively Kernel

LLVM

Spec; Perspective

LOGO

MIT, Turtle Academy

LUA

manual

Mac OS X

audio, man pages

Malfunction(!)

MathJax

mbeddr

Mercury

Compile Time Garbage Collection

Miranda

WP

Monte

code

MiniKanren

Modula 3

Resource Page

Mizar (proof/programming)

syntax; Manual? Open source Controversy

MUMPS

NASM

x86 assembler

Newspeak

glimpse, Intro

Node.js

Noether

noop

Bird’s eye view

Original Inspiration

Objective C

High density examples, 😉, Apple, GNU’s

OCaml

Most public. Doc, Implementation from Inria, book; Unraveling Ocaml, Good propaganda; Cambridge Course; intro, Comparison with Standard ML; more; Emily; Emily; good stuff; Wikipedia; Cheetsheets; OCaml in JavaScript!!; Ocaml in JavaScript!! Much code; ocamlgraph; monads, 2; GADT; precedence; bugs; How Types; GADT; Pretty compiler source; OpenGL Support; Polymorphism; with C; Real World OCaml; some opinions; Internals; teaching, 4.03; my notes

Occam

Introduction to the Programming Language Occam

Octave

OpenGL

ref, Apple [ Root, Features by Hardware & OS version, book] Official Manual current

OpenGL Shading Language (GLSL)

Typhoon Labs Tutorial; GLSL Tutorial; Nexus?

ORC

nexus

OWL2

primer

Ozma

P

Pascal

Compiler; Language Def; ISO?

Pharo

from Squeak

Picat

Pict

see, Programming in the Pi-Calculus, Nomadic Pict

PL/I

current; Enterprise PL/I Language Reference: 2001, 2005, 2010

Pony

Prolog

WP. WP

Protocol Buffers (sort of like ASN1)

Google

Ptolemy

here

Python

documents, Language

Q

R

ReasonML

Program to translate from (nearly) OCaml to JavaScript.

Rebol

main

Ruby

What is?; at Google

Rust

from Mozilla, github, front door, def, ‘Reference’, libcore, Standard Library

Sartre

SASL

Scala

main

Scheme

Definitions [R4RS , R5RS = too, R6RS, R7RS; Schism?]; process; monads, New Formalization; FAQ; mail; Scheme on Java; Text book based on Scheme; Scheme48, man; SRFI; SRFIs; Exceptions; Hyper Static; paper; Scheme Working Groups; ints as bits; my notes
Implementations: Guile; Racket, Bigloo; Gambit; Chicken; Modules: {Gauche; MzScheme;} Stale: Others;

Scratch

MIT

Self

SDL; Simple DirectMedia Layer

libsdl.org

Shape languages (3D printing)

(source=Shapeways) WP; WP; COLLADA; X3D

Shill

Secure Shell Scripting Language, code

Simula

History

Sisal

tutorial, too, FAQ, xx

SmallTalk

Squeak

SML

The Definition of Standard ML, too; Library; open compiler; Course

Solidity

(from Etherium)

SQL

1992

SQLite

Syntax Diagrams, CLI

ssh

OpenSSH (BSD)

Standard ML Family

The Definition of Standard ML

Strand

SWF (Flash)

VM ActionScript - Flash

Swift (from Apple)

def, Linux (by Apple); Unsafe Swift

Tamarin

intro, Ops, code

Tesla (compiles to C++)

root and explanation

Unity

UnLambda

UPC (Unified Parallel C)

UR

WebGL

My Notes

Whiteoak

Where a real struct includes a brand (like Keykos brands) slot.

X10

Spec

X11

Apple

Xcode

Intro

Xen

docs

XSL

W3C

XSLT

W3C

1ml

etc.

Actors;

gcc info

The main page, and manuals.
Delorie does free software and has a gcc page.
IBM’s history and logic
more info
A page from Cornell
Cygnus-RedHat
Apple’s special gcc stuff, their ‘blocks’

I snitched the following from a 1995 mail list.

Name    char    short   int     long    ptr     long long       Notes
ILP32   8       16      32      32      32      64              many
LLP64   8       16      32      32      64      64              longlong needed
LP64    8       16      32      64      64      64              DEC, SGI
ILP64   8       16      64      64      64      64              (needs 32-bit)