Hotlist

Boulot

Lemme: AOC, Exposé du jeudi, W3, CFC

Systems: Aïoli, Centaur, Extended ML, Figue, Objective Caml, Open Implementation, Reduce, Such That,

Doc: Aïoli, Coq, Figue, Java, Objective Caml

Sites: L'Aquila, Cambridge, Cnrs, Cornell's Library, Croap, Horus, Ens, Inria, Interne, Koala, Lfcs, Nasa, Princeton, Safe Internet Programming, Rutherford

Lists: Comp Logics, EAPLS, Ex-Cam, Graphic, HOL, Log Fram, ProTaGonist, Main Page, Progr Lang & Comp

Confs: Amast, Cade, Icalp, Etaps, Issac, Lics, Program Development, Tacas, Tlca, TpHol

Home Page: Moi, Andy, Duggan, Goldberg, Henrik, Hoare, Jackson, Mike, Ursula, Raffalli, Sufrin, Wadler, Wand

Infos: Google, Neci, Alta Vista, HotBot, Pages Jaunes, Inktomi, Lycos, OpenText, WebCrawler, Yahoo, INRIA Bibli, CNRS, Whois, Semir

Html: Backgrounds, Gif Generator, Gifs&Buttons, Small Buttons, LaTeX2HTML, MMM, Inferno, HTML4.0.1, W3C

XML: Sil, W3C, Infoworld

Journal: Academic Press, Cambridge University Press, JAR, JFLP, JSC, Kluwer, LMS

Provers: Acl2, CHOL, Coq, Hol, Imps, Isabelle, Nuprl, PVS

Bibs: HOL, ORA CAD

Code Quality: CodeWizard, Logiscope, PC-lint, Scott Meyers

Math: OpenMath, Puzzle

Programming Environment: VisualC++, Michael Read, GC

Misc.: Colors ISO, Skey


Java

Resources: Harissa, Linux

Demos: Cool Applets, Karl Hörnell, Lamp

JDE: SpotCheck

Parsers: Antlr, C++parser, JavaCC, jb, Byacc, JavaCup, JTB

JVM: Languages, Ada95, Assembler, MachJ

Extensions: Developers, JavaDeps


Others

Dico: LOGOS, List

Newspapers: Corriere, Edicola, L'Equipe, Gazzetta, Guardian, Libé, NiceMatin, Voix du Nord, la Repubblica, L'Unità

Best of: Boulier, Gutenberg, SodaPlay, MathNice, (Art)^n Laboratory, Collectors, Color, Nine Planets, Nasa, Coffee Machine, LEGO, FROG, Spoken Documents

Places: Antibes, Florence, Italie, Paris, Pitchoun

Food: Godiva, Leonidas, Wine Labels

Film: Arsenale, Cinefil, IMDB, Which Movie?, Susan Sarandon

Chess: Notzai, Europe Echecs, Chess Space, Chess Graphics

Games: BlackJack, Tic Tac Toe, Web Games

Foot: English League, Lens, Manchester

Sport: Knicks, NBA, Tour de France, Wimbledon

Trip: Sncf, TER, Stga, Nouvelles Frontières, DegrifTour

Music: Beautiful South, Jazz, DeJohnette, Keith Jarrett, Lyrics, Billy Joel, Rem, RadioHead

Misc.: Airlines, Cambio, Crédit du Nord, Vatican

Museums: Le Louvre, W-library, Web Museum, ANU, Art, Uffizi


 Show me your hotlist and I'll tell you who you are...