KDE-Radio (Popularity: )
(Score: 9.22) http://www.siski.de/~carsten/download-engl.html An application to control your video4linux compatible radiocard (e.g. Hauppauge WinTV/Radio) with a small KDE programm. It can be docked into the "kicker". Category:
Main\Computers\Software\Operating Systems\Graphic Subsystems
Logic of programming (Popularity: )
(Score: 7.60) http://iml.univ-mrs.fr/ldp/welcome.html The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = graph), denotational semantics (proof = function ... Category:
Main\Science\Math\Logic and Foundations\Proof Theory