LaTeX Tutorial with examples and exercises.

AsTeR --Audio System For Technical Readings-- is a computing system for rendering technical documents written in LaTeX in audio.

Open source system that provides fully decentralized approximate keyword search capabilities to Vuze as a standard plugin. As it is decentralized, it's immune to legal and technical attacks targeting torrent aggregators.

HITs is a link-structure analysis algorithm which ranks pages by "authorities" (pages which have many incoming links and provide the best source of information on a given topic) and "hubs" (pages which have many outgoing links and provide useful lists...

TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, peo...

A Typed Assembly Language for x86. Supports sums, arrays, references, recursive types, subtyping, type tagging, and modules.

Extends traditional untyped assembly languages with typing annotations, memory management primitives, and sound set of typing rules. The typing rules guarantee memory safety, control flow safety, type safety of TAL programs. What do you want to type c...

Programming contest open to any student of Cornell University.

a modular network simulator featuring a java GUI

Reliable distributed computing research in Cornell University computer science department. Has information on Ensemble, a publicly distributed toolkit based on Horus research.