Kenn Knowles: Projects

See also my blog for minor projects, examples, and tutorials, or my research for related papers.

• Sage - A prototype language with hybrid type checking. Sage include preconditions, postconditions, and computations on types.
• Cardflasher - A simple and powerful flashcard-based memorization program. Cardflasher supports n-sided cards, and partitions decks based on consecutive successes.

"The fundamental act of friendship among programmers is the sharing of programs; marketing arrangements now typically used essentially forbid programmers to treat others as friends. The purchaser of software must choose between friendship and obeying the law. Naturally, many decide that friendship is more important." - Richard Stallman, The Gnu Manifesto