Stan Warford (StanWarford)

StanWarford

Geek Repo

Company:Pepperdine University

Location:Malibu, CA 90263

Home Page:http://www.cslab.pepperdine.edu/warford/

Github PK Tool:Github PK Tool

Stan Warford's repositories

pep9

Pep/9 assembler and simulator for the textbook Computer Systems, J. Stanley Warford, Fifth edition

Language:C++License:NOASSERTIONStargazers:33Issues:8Issues:1

pep8

Pep/8 assembler and simulator for the textbook Computer Systems, J. Stanley Warford, Fourth edition

Language:C++License:NOASSERTIONStargazers:22Issues:8Issues:1

pep9suite

Pep9Suite is a suite of software for the Pep/9 virtual machine described in the text Computer Systems, J. Stanley Warford, fifth edition.

Language:C++License:NOASSERTIONStargazers:16Issues:5Issues:120

pep9cpu

Pep/9 CPU simulator for for the textbook Computer Systems, J. Stanley Warford, Fifth edition

Language:C++License:GPL-3.0Stargazers:7Issues:6Issues:4

capstone2015

Pepperdine Computer Science senior capstone project, 2015

License:GPL-3.0Stargazers:4Issues:7Issues:0

pep8cpu

Pep/8 CPU simulator for for the textbook Computer Systems, J. Stanley Warford, Fourth edition

Language:C++License:NOASSERTIONStargazers:4Issues:3Issues:0

pep8term

Terminal version of Pep/8 assembler and simulator for the textbook Computer Systems, J. Stanley Warford, Fourth edition

Language:C++Stargazers:2Issues:3Issues:0

pep9pad

Pep/9 for the iPad

Language:SwiftStargazers:2Issues:9Issues:0

BaciBeans

A plugin for the NetBeans platform for JavaBACI integration

Language:JavaLicense:GPL-3.0Stargazers:1Issues:5Issues:0

pep10suite

Pep10Suite is a suite of software for the Pep/10 virtual machine, the successor of Pep/9.

Language:C++License:GPL-3.0Stargazers:1Issues:3Issues:18

quadrotomy

Quadrotomy for partial orders

Language:TeXLicense:GPL-3.0Stargazers:1Issues:2Issues:0

ras4ltl

A paper by Wiegley, Staley, and Warford on linear temporal logic.

Language:TeXStargazers:1Issues:3Issues:0

case-analysis

Saca/Warford paper

Language:TeXStargazers:0Issues:3Issues:0

digital-logic-labs

An iPad app that simulates a set of digital logic labs.

Language:Objective-CStargazers:0Issues:1Issues:0

ProveIt

A proof editor for inputting, saving, and exporting proofs in the equational style of the book, "A Logical Approach to Discrete Math."

License:GPL-3.0Stargazers:0Issues:12Issues:0