Files directory related to the BK0010, BK0011, and BK11m home computers built in Soviet Union which were based on the PDP-11 architecture using a K1801VM1 CPU.

Only if you've built KDE yourself; otherwise probably available from your Linux distribution vendor's patches directory. Note this is an FTP site.

This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.

A set of network diagnostic tools, such as an enhanced replacement for traceroute.

Oberon-to-C translator; free downloads that can be used to create demo programs that identify themselves as such when started from Unix shells. [commercial]

Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or classical atomic formulae. Extant version uses extension of SLD-resolution merge...

For Unix-like systems. A threaded newsreader with an X Window interface. Distributed under the GNU public license. Handles MIME, attachments, killfiles, and launches URLs by clicking.

Attempt at creating a library of reusable C functions.

Constraint logic programming language with the abilities of CLP(BNR) and most of those of cc(FD). Possibility to program directly in projection constraints makes Nicolog more flexible than many CLP systems. FTP site.

Software to run PVM programs over ATM networks. Source, documentation, and papers.