Very Interesting Resources

Very Interesting Webpages

6502

• COMFY-6502 compiler: port to Common Lisp
• cc65 - a freeware C compiler for 6502 based systems

Abstract Algebra

• start - MathStructures

Agile Development

• The Scrum Framework at a Glance (jpg)

Algorithms

• An Introduction to Real-Time Stock Market Data Processing - CodeProject

Character Sets

• A Spectre is Haunting Unicode

Commodore 64

• C64-Wiki
• Commodore 64 screen codes

Compiler Construction

• How to compile with continuations
• Example assembly/machine instruction from lambda calculus

Computational Complexity

• Descriptive Complexity

Constraint Programming

• Lecture 15 - Constraint Satisfaction Problems (slides)

DOS

• Index of /sites/ftp.delorie.com/pub/djgpp/current

Electronics

• A Review of Electronics
• The GIICM
• ALLDATASHEET.COM - Electronic Parts Datasheet Search

Electronics Projects

• Asychronous 40-bit TTL CPU

Energy Management

• Large-scale electricity storage | Royal Society

Formal Specification

• Attempto Project

Functional Programming

• Railway Oriented Programming | F# for fun and profit

Game Assets

• The Cutting Room Floor

Haskell

• Hoogle

Literature

• Top 100 \| Project Gutenberg

Logic

• Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)

Lua

• The Programming Language Lua
• Lua 5.3.5 Online Demo for MS-DOS : Lua.org, PUC-Rio : Free Download, Borrow, and Streaming : Internet Archive

Mathematics

• Readings | Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare

Modal Logic

• Modal Logic (Stanford Encyclopedia of Philosophy)

Parsing

• Yacc is dead: An update

Philosophy

• The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy)

PostgreSQL

• PostgreSQL notifications with Psycopg2 and Eventlet --- Psycopg

Public Domain

• David Ahl places all his classic computing publications into the Public Domain « Adafruit Industries
• Llamasoft 8 bit games
• Commons:Pearson Scott Foresman - Wikimedia Commons

Scheme

• Bibliography of Scheme-related Research

Software Engineering

• 1968 NATO Software Engineering Conference
• Classic SE Mistakes by Steve McConnell • Jonathan Cook

Type Theory

• Type Theory (Stanford Encyclopedia of Philosophy)
• Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy)

Very Interesting Books

Apple II

• The Applesoft Tutorial (online @ archive.org)
• Disk Operating System Instructional and Reference Manual: DOS Version 3.2 (online @ archive.org)

Compiler Construction

• Compilers and Compiler Generators (borrow @ archive.org)

Game Development

• Game Programming Patterns (online @ gameprogrammingpatterns.com)

Logic

• Introduction to Mathematical Proof (online @ monks.scranton.edu)

Lua

• Programming in Lua (first edition) (online @ www.lua.org)

Numerical Analysis

• An Introduction to Computer Simulation Methods: Applications to Physical Systems (borrow @ archive.org)
• Inside SPICE (online @ archive.org)

PLDI

• Theories of Programming Languages (borrow @ archive.org)

Pascal

• Programming Your Own Adventure Games in Pascal (online @ archive.org)

Term Rewriting

• Advanced Topics in Term Rewriting (borrow @ archive.org)

Type Systems

• Counterexamples in Type Systems (online @ counterexamples.org)

User Interface

• The Humane Interface (borrow @ archive.org)

Very Interesting Papers

Algebraic Logic

• Origins of the Calculus of Binary Relations

Algorithms

• A Discipline of Dynamic Programming over Sequence Data (online @ bibiserv.cebitec.uni-bielefeld.de)

Compiler Construction

• An Introduction to Operational Semantics

Coq

• Interaction Trees (online @ archive.org)

Equational Logic

• Equational logic, unification and term rewriting
• Field Guide to Equational Logic
• Equational Logic (Course Notes, USC, Spring 2017)

Formal Language

• On the Structure of Context-Sensitive Grammars (online @ archive.org)

Functional Programming

• Total Functional Programming (online @ www.jucs.org)

Lambda Calculus

• A Short Introduction to the Lambda Calculus
• Introduction to Lambda Calculus
• Chapter 5: The Untyped Lambda Calculus

Modal Logic

• A Modal Walk Through Space (online @ web.archive.org)

Parsing

• Parsing as Deduction

Relational Programming

• Overview of relational programming

Term Rewriting

• Combinatory Reduction Systems
• A Constructive Semantics for Rewriting Logic

Topology

• Finite Topological Spaces (online @ www.math.uchicago.edu)

Very Interesting Repositories

Programming Languages

• manuel/wat-js: Concurrency and Metaprogramming for JS
• dcurrie/wren: Language with a bytecode compiler that can run on computers with only a few kB of RAM.

Public Domain

• public-domain account at github.com

Scheme

• siraben/r5rs-denot: A correct Scheme interpreter derived from the R5RS spec\'s formal semantics, written in Haskell.

TLA(plus)

• tlaplus/PlusPy: Python interpreter for TLA+ specifications

Theorem Proving

• stepchowfun/proofs: My personal repository of formally verified mathematics.
• thautwarm/Sequent.jl: formally and easily, describe the semantics.

User Interface

• art-w/unicorn: Purely functional GUI algebra