445 projects tagged "Linux"
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
FVWM-Crystal aims to create an easy to use, pretty, and powerful desktop environment for Linux or other Unix-like operating systems. It uses following programs: FVWM as a window manager and "main core", ROX-Filer as file manager (manages icons on the desktop), xterm, aterm, mrxvt, or urxvt as terminal emulators, MPD or XMMS as music players, and several other tools for different functions, like setting a wallpaper or making screen shots.
Corlpack is a faster Ada implementation of the basic types from the R Language. It includes calculations with units of measurement, a broad range of other basic types such as urn-like identifiers, coordinate, and monetary amounts. Basic types are represented as 128-bit UUIDs so heterogenous arrays, without predesigned structure, can be easily built. Heap allocation for complex structures is minimized, hopefully resulting in much shorter and more predictable execution time. An API with a small number of generic functions aims to simplify Ada programming for computational applications, especially for scientists from non-IT fields.
msmtp is an SMTP client with a sendmail compatible interface. It can be used with Mutt and other MUAs. It forwards messages to an SMTP server which does the delivery. Features include various SMTP AUTH methods, TLS/SSL-encrypted connections (including support for client certificates), support for multiple accounts, DSN, and IPv6 support.
HTTrack is an easy-to-use offline browser utility. It allows you to download a Web site from the Internet to a local directory, building recursively all directories, getting HTML, images, and other files from the server to your computer. HTTrack arranges the original site's relative link-structure. Simply open a page of the mirrored Web site in your browser, and you can browse the site from link to link, as if you were viewing it online. HTTrack can also update an existing mirrored site, and resume interrupted downloads. WebHTTrack is a Web-based GUI for HTTrack.
Dillo Web browser is a very fast, extremely small Web browser that's written in C and C++. The source is around 600 KB, and the static binary is about 980KB. It is a graphical browser built upon FLTK-1.3, and it renders a good subset of HTML and CSS, excluding frames, JavaScript, and JVM support.