git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Programming Languages / commentary / Chris Pressey.md
master

Tree @master (Download .tar.gz)

Chris Pressey.md @master — view markup · raw · history · blame

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

.

  • 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

.

  • 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

.

K | Runtime Verification Inc

  • rating: 1

.