Commentary by Chris Pressey
This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.
Programming Languages
PostScript Language Tutorial and Cookbook
- rating: 1
.
Systems Programming with Modula-3
- rating: 0
Contains a really good quote about Lisp.
Object-Oriented Programming in Eiffel
- rating: 1
Contains some axioms for ADTs.
Synchronous Functional Programming: The Lucid Synchrone Experiment
- rating: 0
.
What is ML/I?
- rating: 1
.
merd's home page
- rating: 1
.
GP (Graph Programs) - The Programming Languages and Systems Research Group
- rating: 1
.
The ABC Programming Language: a short introduction
- rating: 1
.
programming languages - How does Tarjan\'s pseudocode work (explained to someone familiar with C or Java)? - Computer Science Stack Exchange
- rating: 1
.
BASICO programming language
- rating: 1
.
(modal)
- rating: 1
.
Perl Source - www.cpan.org
- rating: 1
- useful: true
.
Action! Programming Language Version 3.6 - Source Code : Optimized Systems Software : Free Download, Borrow, and Streaming : Internet Archive
- rating: 1
.
Pure Programming Language
- rating: 1
.
bondi
- rating: 1
Barry Jay's (bond-eye) pattern language. Pattern calculus.
Refal
- rating: 1
.
GF - Grammatical Framework
- rating: 1
.
ympbyc/Carrot: Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
- rating: 3
.
c3d/xl: A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
- rating: 1
.
naver/tamgu: Tamgu (탐구), a FIL programming language: Functional, Imperative, Logical all in one for annotation and data augmentation
- rating: 1
.
chrisdone/z: A strict, impure, curried, partially applied programming language with rather peculiar syntax.
- rating: 1
.
egison/egison: The Egison Programming Language
- rating: 1
.
samrushing/irken-compiler: Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
- rating: 1
.
Mesabloo/amethyst: A simple concatenative programming language
- rating: 1
.
manuel/wat-js: Concurrency and Metaprogramming for JS
- rating: 2
.
dcurrie/wren: Language with a bytecode compiler that can run on computers with only a few kB of RAM.
- rating: 2
.
alehander92/Airtight: a python-like language with hindley-milner-like type system, which is compiled to c
- rating: 1
.
clemahieu/mu: Mu is a modern, modular, system programming language and scripting toolchain
- rating: 0
.
xixixao/Shem: The compiler of the programming language Shem
- rating: 1
.
ncihnegn/miranda: Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.
- rating: 1
.
UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets
- rating: 1
.
pro465/rhokell: rho calculus + haskell thrown into the mixer
- rating: 1
.
Danskydan/Hilltop: Hilltop is a text-based, general-purpose programming language and model that borrows concepts from spreadsheet programming.
- rating: 1
.
K \| Runtime Verification Inc
- rating: 1
.