Free deutschland software for linux

VideoteXt is a videotext/teletext-decoder for PCs running Linux/x86 (of course, it also runs with other Unices, but there are currently no drivers for videotext-cards on these systems). It consists of a device-driver, an interactice frontend using the X-Window-System and the XView-toolkit and a commandline-oriented frontend intended mainly for non-interactive usage.
The XView-version is TOP-text-capable and is able to receive all single pages of a station in advance in a few minutes, so you dont have to wait when you access these pages. Frequently used pages can be put into a hotlist, which will be sought autmatically whenever you switch to a new station. Of course, you can save and load videotext-pages; exporting them in GIF-, PPM-, PNG-, ASCII- and PostScript-format is also possible.
The commandline-version also offers TOP-text support and can output the received pages in different ASCII- and binarThe device-driver is a loadable kernel module for Linux.y-formats suitable for post-processing (with AWK-scripts e.g.).
The device-driver is a module for Linux kernel. A list of supported hardware interfaces is available.
Im always interested in information about other interfaces -- probably I can add support for them to my driver. However, if I cant get enough information about the hardware, support for them is not very likely. For example, this is the case with all cards using the SAA5284 from Philips, like all newer newer Hauppauge WinTV/PCI cards. Please complain to Hauppauge if you dont like this policy.
If youd like to buy a new videotext interface, heres a list of vendors of supported videotext interfaces (most of them are in Germany, because thats where I once lived -- if you know of other ones, please tell me).
You can also use VideoteXt without a videotext-interface, e.g. as an external viewer for web browsers if youd like to build a web-based videotext server. If you want to have a look at VideoteXt before buying an interface, you can do so by reading the example pages included in the VideoteXt package from disk.
Enhancements:
- Fixed broken Reveal-button
- Made VideoteXt accept buggy TOP-text pages broadcast by ARD & ZDF recently
- Increased performance of GIF-/PPM-writing routines and added GIF- and PPM-formats to vtxget
- Fixed bug in GIF-routines that caused invalid files when writing several pictures per session
- Fixed some bugs that could cause coredumps or corrupt config-files when writing to a file fails
- Added spooldir-support to VideoteXt
- VideoteXt now is able to continue to search for a page in background if not all subpages are complete when you request the page in foreground
- Added Continue-togglebutton to be able to control whether VideoteXt continues to search for a page in background
- Added Stop-button to cancel a currently running background-search
- New dialog-box for copying selected station-settings to other stations
- Improved interactive feeling with slow interfaces (though it still doesnt make much fun)
- vtxget now can dump the TOP-text-tables in a machine-readable format
- vtxget now is able to read page-numbers from stdin, so you can use a named pipe to pass new requests to a vtxget running in the background
- Added virtual-row-support to vtxget (preliminary, vtx-format only)
- vtxget now also accepts page-ranges
- vtxget is now able to reorder the page-requests you give on the commandline if you use the -i switch
- Preliminary support for tuners on videotext-cards via tunerctl

Valgrind is an award-winning suite of tools for debugging and profiling Linux programs. With the tools that come with Valgrind, you can automatically detect many memory management and threading bugs, avoiding hours of frustrating bug-hunting, making your programs more stable. You can also perform detailed profiling, to speed up and reduce memory use of your programs.
Valgrind distribution currently includes three tools: a memory error detectors, a cache (time) profiler and a heap (space) profiler.
Valgrind is Open Source / Free Software, and is freely available under the GNU General Public License.
Main features:
- Valgrind will save you hours of debugging time. With Valgrind tools you can automatically detect many memory management and threading bugs. This gives you confidence that your programs are free of many common bugs, some of which would take hours to find manually, or never be found at all. You can find and eliminate bugs before they become a problem.
- Valgrind can help you speed up your programs. With Valgrind tools you can also perform very detailed profiling to help speed up your programs.
- Valgrind is free. Free-as-in-speech: you can download it, read the source code, make modifications, and pass them on, all within the limits of the GNU GPL. And free-as-in-beer: we arent charging for it.
- Valgrind runs on x86/Linux, AMD64/Linux and PPC32/Linux, several of the most popular platforms in use. Valgrind works with all the major Linux distributions, including Red Hat, SuSE, Debian, Gentoo, Slackware, Mandrake, etc.
- Valgrind is easy to use. Valgrind uses dynamic binary translation, so you dont need to modify, recompile or relink your applications. Just prefix your command line with valgrind and everything works.
- Valgrind is not a toy. Valgrind is first and foremost a debugging and profiling system for large, complex programs. We have had feedback from users working on projects with up to 25 million lines of code. It has been used on projects of all sizes, from single-user personal projects, to projects with hundreds of programmers.
- Valgrind is suitable for any type of software. Valgrind has been used on almost every kind of software imaginable: desktop applications, libraries, databases, games, web browsers, network servers, distributed control systems, virtual reality frameworks, transaction servers, compilers, interpreters, virtual machines, telecom applications, embedded software, medical imaging, scientific programming, signal processing, video/audio programs, NASA Mars lander vision and rover navigation systems, business intelligence software, financial/banking software, operating system daemons, etc, etc. See a list of projects using Valgrind.
- Valgrind is widely used. Valgrind has been used by thousands of programmers across the world. We have received feedback from users in over 25 countries, including: Belgium, Czech Republic, Denmark, Finland, France, Germany, Greece, Hungary, Italy, The Netherlands, Norway, Poland, Portugal, Russia, Sweden, Switzerland, UK, Argentina, Brazil, Canada, USA, Australia, India, Japan, New Zealand, Singapore, South Africa and Israel.
- Valgrind works with programs written in any language. Because Valgrind works directly with program binaries, it works with programs written in any programming language, be they compiled, just-in-time compiled, or interpreted. The Valgrind tools are largely aimed at programs written in C and C++, because programs written in these languages tend to have the most bugs! But it can, for example, be used to debug and profile systems written in a mixture of languages. Valgrind has been used on programs written partly or entirely in C, C++, Java, Perl, Python, assembly code, Fortran, Ada, and many others.
- Valgrind debugs and profiles your entire program. Unlike tools that require a recompilation step, Valgrind gives you total debugging and profiling coverage of every instruction executed by your program, even within system libraries. You can even use Valgrind on programs for which you dont have the source code.
- Valgrind can be used with other tools. Valgrind can start GDB and attach it to your program at the point(s) where errors are detected, so that you can poke around and figure out what was going on at the time.
- Valgrind is extensible. Valgrind consists of the Valgrind core, which provides a synthetic software CPU, and Valgrind tools, which plug into the core, and instrument and analyse the running program. Anyone can write powerful new tools that add arbitrary instrumentation to programs. This is much easier than writing such tools from scratch. This makes Valgrind ideal for experimenting with new kinds of debuggers, profilers, and similar tools.
- Valgrind is actively maintained. The Valgrind developers are constantly working to fix bugs, improve Valgrind, and ensure it works as new Linux distributions and libraries come out. There are also mailing lists you can subscribe to, and contact if youre having problems.
- So whats the catch? The main one is that programs run significantly more slowly under Valgrind. Depending on which tool you use, the slowdown factor can range from 5--100. This slowdown is similar to that of similar debugging and profiling tools. But since you dont have to use Valgrind all the time, this usually isnt too much of a problem. The hours youll save debugging will more than make up for it.
Enhancements:
- 3.2.3 is almost identical to 3.2.2, but fixes a regression that unfortunately crept into 3.2.2. The regression causes an assertion failure in Valgrind when running certain obscure SSE code fragments on x86-linux and amd64-linux. Please do not use (or package) 3.2.2; instead use 3.2.3.

Evolvica is a Java Framework for evolutionary algorithms. It is the successor of eaLib, which has been developed at the Department of Electronic Circuits & Systems of the Technical University of Ilmenau, Germany from 2000 to 2002. The development on eaLib has been stopped and focuses now on Evolvica. However, eaLib is still available here.

There were quite some things in eaLib that were too complicated to be used. Therefore efforts have been undertaken to simplify the eaLib structure while preserving its flexibility. In addition the internal structure of genetic operators have changed in a way to support a creation of algorithms via a graphical user interface.

The goal for the future is to provide a complete development environment for evolutionary algorithms, including visual algorithm composer, Java editor, debugger and visual result analysis. This would be quite a lot of work but fortunately there is no need to invent the wheel for the 733rd time. Evolvica is based on the Eclipse Platform and uses the foundations provided by this great toolkit. All the Java features (source code editor, debugger and so on) originate from the Eclipse project.

Please note that the current state of the project is still classified as experimental. The version that you can download does not have production quality, it is a functional prototype that is still in some kind of an alpha-state. Several things are working, several others may not as expected. But you are free to try and find out for yourself and you are invited to share your experiences with others on the Evolvica user forum.

Raplas objective is to provide an easy-to-use resource-management system.
The primary target of the program were universities. Rapla allows coordination beetween the lectures and the administration. It offers multiple ways to view the available resources and schedule the events.
Rapla started as a simple room booking software, but in the last five years it evolved into a fully configurable framework for event and resource-management.
Developement has started in a practical course at the department of Computer Science III at the University of Bonn, Germany.
Main features:
- Multi-user, multi-languages (6 at the moment)
- Conflict-management
- A printable calendar
- Grouping of appointments in reservations
- Extensive appointment manipulation (repeating, exceptions)
- support for periods
- Hierarchical categorization of objects. Do you have to model your hierarchical organsiation?
- A fine-grained permission model. You can set who can access what, when and how.
- Customizable resource-, person-, and event-types. You can create your own types, with their specific attributes.
- Usable in client-server mode or as standalone application.
- Startable with webstart or as an applet (Java Plugin needed)
- Stores data in xml-file or with the help of sql-database
- Email notification on resource allocation
- Plugin architecture (with currently a dozen plugins available)
- HTML Read-only month-,week- and day- view. You can specify with filters what and how it should be visible to the outside.
Enhancements:
New features
- Added paste as functionality
- Added Data Source (use datasource tag instead of driver, username and password to enable datasource)
- New plugable Main menu when you go on the first site of the web version
- You can now enable a list of all exported calendars in the main menu of the web version
- Show Navigation bar is now a parameter when exporting calendars to html
- You can now start rapla under windows with rapla.exe
- New service wrapper for starting rapla as a server under unix, osx and windows (load rapla_as_service.zip)
- There is a raplabootstrap.jar for starting rapla with a double click on most systems
Changes
- New icon for "new weekly event"
- In source version data.xml and config files are moved to webapp folder
- New jetty is used
- If jndi doesnt work. Authe
Bugfixes
- You can now export filename with characters that need to be url encoded
- Fixed Bug with special characters during load under tomcat or jetty
- It is now possible to have working times with a higher start hour than end hour e.g. 20:00 - 04:00
- [ 1593336 ] even though restricted, user can create conflict by dragging
- Workaround for bug in 1.6 that doesnt render the print dialog correctly when displayed for the first time
- [ 1571870 ] Display Japanese Characters
- [ 1555022 ] TimeField cant instantiate for "CH" locale
- Notification mail handles removes correctly
- You can use Japanese Characters in html
- If an authentication store (e.g. jndi) doesnt work Rapla will still remain usable with the original logins. But not for the jndi users

o2-sms.pl is intended for customers of O2 Germany that have an account at www.o2online.de. o2-sms.pl can send SMS messages via the WWW gateway.
Use the -f option to send a flash SMS (it will pop up on the recipients display immediately).
The message text can have up to 780 characters. SMS to wired recipients are limited to 160 chars, as they are being sent as "text-to-speech".
Main features:
- sends SMS to ALL german cellphone networks and text-to-speech messages to wired recipients - now you can reach nearly everyone
- supports Flash SMS
- fakes user-agent by selecting one out of currently 10 "real" agents (IE, Mozilla, Opera et al.)
- very fast and reliable message delivery
- can be modified to use with other networks
- fully emulates a web user filling in the HTML form

libbgrab is a framegrabber library for Linux using the v4l driver and bt/conexant analog SD video input cards.

To implement constant throughput and to avoid frame loss delays, triple buffering is used through local buffer copying in a separate grabbing thread.

The library consists of two parts that are usually used together:

1. framegrabber access (bgrab.c/bgrab.h)
2. xwindows output (xutils.c/xutils.h)

Additional routines allow for image processing:

3. Motion JPG compression (RTjpeg.c, RTjpeg.h, mmx.h)
4. MMX optimized image filters (asm/*)

Examples and Demo Programs:

Note: All demo programs are hardcoded for Tuner/NTSC input. You have to modify the code and recompile for other inputs!

+++ testgrab

See demo program "testgrab" for a quick intro on how to use libbgrab. See
source code comments for additional usage notes. The source code will
probably have to be edited to adapt for your video input - it is just a
demoprogram! Use Q to quit with the live-video window active. Use F and D
to change channels.

+++ glgrab (GLX only)

A very similar program uses OpenGL as output driver and maps the live
image as a texture on a polygon - try "glgrab" for nicely scaled,
full-screen output ... not always at full frame rates ;-). Works fine with
my Matrox G400 and Geforce2MX cards and the GLX drivers.

+++ asciigrab

Also included is a demo "asciigrab" that converts video in realtime into
ASCII CHARACTERS - just start it in a large enough terminal ... .
See source code for additional usage notes. This program has actually been
exhibited in the "net_condition" art exhibition at the ZKM, Karlsruhe,
Germany on a big projection screen http://www.zkm.de).

+++ delaygrab

A nice example of using MUCH memory, try "delaygrab" in which a few
seconds of video is beeing stored and shown according to a delay-map. If it
runs, try pressing the keys 1, 2 and 3 to switch effects. This effect will
be used in upcoming exhibitions at the ZKM, Karlsruhe, Germany with
temperature sensors. A similar program with a network interface was
developed for the world exhibition Expo2000, Hannover 2000 and can be found
in the "expograb" directory.

+++ zoomgrab (3Dfx Glide only)

Also included is a demo "zoomgrab" that shows a live video image at any
scale using a 3dfx graphics card (required). The numbers in "zoomdef.txt"
define zoom scales in ONE SECOND intervals (range: 0.01 to 200.0, first
number in line) and mixer volume settings (range: 0 to 100, second number
in line) that will be smoothly applied to the image and the volume. See
source code for additional usage notes. This program was also part of an art
exhibition at Weimar, Germany in 1999.

+++ artcam (3Dfx Glide only)

A similar demo called "artcam" also uses glide for display. This demo
changes the colors of an image in realtime using a precalculated
conversion table.

+++ webcam

And then there is the really complete and useful "webcam" application - see
the README in the /webcam directory for more explanation and usage
information of this nice little utility.

+++ greydetect

A utility program called "greydetect" makes measurements of the mean
greyscale values in rectangular areas. It can be used for scientific
measurements. See the README in the /greydetect subdirectory for more info
and usage information.

+++ difftrigger

The tool program "difftrigger" can be used as a security or interface
application to detect changes in images (i.e. from moving objects).
See the README in the /difftrigger subdirectory for more info and usage
information. Very similar is the application "tracker". Here the
difference images can be used to track the motion within a rectangular
area and send it to an external program via TCP/IP.

+++ rgbmix

Yet another art-program is the demo "rgbmix". It uses three framegrabber
inputs to get b/w images and mixes them together into a single RGB color
output image. This might make it into the lobby of a big company someday.
Any buyers ... :-)

+++ tracker

Yet another specialized tracking program is "tracker". Again this a program
that was developed for an installation and requires several other utilities
to be useful (asciireflector and reflector2midi). See the local README for
information on this tool. If you want to see it in action, check the passage
from the Frankfurt Airport Terminal to the Trainstation June-December 2000.
Diagrams of the installation and documentation are included in the /tracker
directory.

+++ rtjpegrecord
+++ rtjpegplay

A new addition to libbgrab for capturing live video is RTjpeg. This library
works only on MMX capable CPUs and provides fast motion Jpeg compression
routines. The resulting format is NOT compatible with standard MPEG or JPEG
files - i.e. one needs the RTjpeg library to decompress the generated stream.
The sample applications for recording and playback can be found in the /examples
directory. Since the input video format is YUV420 and a color conversion
would be required for standard RGB X-windows screens, no output will be shown
during the recording phase. To record use "rtjpegrecord" - experiment with the
quality settings for best results. The default setting achieves a 12:1 compression
ration at excellent image quality. To view use "rtjpegplay" on 16bit bpp screens.

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.
Compared with similar tools, Isabelles distinguishing feature is its flexibility. Most proof assistants are built around a single formal calculus, typically higher-order logic. Isabelle has the capacity to accept a variety of formal calculi. The distributed version supports higher-order logic but also axiomatic set theory and several other formalisms. See logics for more details.
Isabelle is a joint project between Lawrence C. Paulson (University of Cambridge, UK) and Tobias Nipkow (Technical University of Munich, Germany).
Main features:
- Interpretation of locale expressions in theories, locales, and proof contexts.
- Substantial library improvements (HOL, HOL-Complex, HOLCF).
- Proof tools for transitivity reasoning.
- General find_theorems command (by term patterns, as intro/elim/simp rules etc.).
- Commands for generating adhoc draft documents.
- Support for Unicode proof documents (UTF-8).
- Major internal reorganizations and performance improvements.