List of all Pages

• About Griff

• About Richard Cole

• Bookmarks

• CASS - Conceptual Analysis of Software Structure

  • Features to Implement for CASS

• Collected Notes on Debian Packages

  • Tags

  • Debian Package Browser

  • Lab Notes

    • Files and Their Contents

    • Provides Field

  • Next Questions

  • Matching Conflicts

  • Examples of Interaction

  • Some Generate Results (More Questions)

  • Random Ideas

  • TODO

  • A Logical Approach

  • Finding the bound between SAT and UNSAT

  • SAT Solvers

• Formal Concept Analysis

• Learning: Hard and Easy Problems

• Welcome to Griff

• Interesting Software

• Learnings

• How to Install MatPlotLib for Ruby

  • Install the Ruby-Python Bridge

  • Install MatPlotLib

  • Write some ruby code to generate a basic histogram

• MouseHole Tagger

• Navigation Spaces Lab Notes

  • BCEL Screenshot

  • Kowari Screenshot

• PIG - Personal Information Graphs

• Programming Language Manifesto

• Multiple Concerns

• An example of using Rails to explore Data

  • Creating the Database

  • Creating a Rails Application

• Releases

• Some Selected Correspondence between RJ and ALB

• About RJL

• Sarl3 Bug Report

  • Lattice not respecting object implication

• Todo List (Not even started yet)

• Todo List (Half finished stuff)

• Sarl3 - Sets and Relations Library

  • Download

  • Examples

• Sarl3 Scrolling Labels

• Sarl Development Log

  • Recent Additions

  • What are the most needed features

  • Adding Scrolling Labels

• Sarl3 Screenshots

• Software Engineering

• Troken

• Web Site

• What is XML for?

• What's New

• RJL Syntax

  • Attributes on methods

  • Functions

  • Expression Syntax: Method Calls

  • Syntax for classes

  • Module and Mixins

  • Mathematical Notation

  • Unicode

• RJL To Machine Code

  • LLVM What can it do

• RJL Latest

• Ramblings

• RJL Classes and Interfaces

• RJL Block Typing

• RJL Typing

• Type System: How it works

• Compiling Sarl3