Radomír Černoch's avatar

You are behind a proxy. You can modify other data related to your profile by this link.

Radomír Černoch's avatar

Radomír Černoch

radomir_cernoch

Involved Projects and Packages
Maintainer Bugowner

Digital cameras are cool. So is GPS. And, EXIF tags are really cool too.

What happens when you merge the three? You end up with a set of photos taken with a digital camera that are "stamped" with the location at which they were taken.

The EXIF standard defines a number of tags that are for use with GPS.

A variety of programs exist around the place to match GPS data with digital camera photos, but most of them are Windows or MacOS only. Which doesn't really suit me that much. Also, each one takes the GPS data in a different format.

So I wrote my own. A little bit of C, a little bit of C++, a shade of GTK+, and you end up with... what I have here. I wrote both a command line and GUI version of the program.

Maintainer Bugowner

Stable packages + backports for my own computer. Adding this repository to your computer should not break any dependencies.

Maintainer Bugowner

Alchemy is a software package providing a series of algorithms for statistical relational learning and probabilistic logic inference, based on the Markov logic representation. Alchemy allows you to easily develop a wide range of AI applications.

Maintainer Bugowner

LONG DESCRIPTION
GOES
HERE

jEdit is a cross-platform programmer's text editor written in Java.

Some of jEdit's features include:

* Built-in macro language (BeanShell)

* Extensible plug-in architecture with more than 80 plug-ins
available

* Plug-ins can be downloaded and installed from within jEdit using
the plug-in manager feature

* Syntax highlighting for more than 80 languages

* Supports a large number of character encodings including UTF8 and
Unicode

* Autoindenting of source code

* Folding (indent and marker based)

* Word wrap

* Unlimited undo and redo

* Highly configurable and customizable

* Every other feature, both basic and advanced, that you would expect
to find in a text editor

Maintainer Bugowner

muCommander is a lightweight, cross-platform file manager featuring a Norton Commander style interface and running on any operating system with Java support (Mac OS X, Windows, Linux, *BSD, Solaris...).

Maintainer Bugowner

This is an addon to 'pm-utils', which ensures that core and memory frequency of GPU set by 'rovclock' are restored after suspend and resume. You only want to use this utility if your X.org uses open-source 'radeon' driver.

Authors:
--------
Radomir Cernoch radomir.cernoch@gmail.com

Maintainer Bugowner

This is the Skype API Plugin for Pidgin/libpurple/Adium.
If you're already running Skype, you can have your Skype contacts
displayed with your Pidgin/libpurple/Adium contacts. It is intended as
a complete replacement for the Skype user interface,
hopefully everything you can do in Skype you can do with this plugin.

Maintainer Bugowner

SubLib is a library that eases the development of subtitling applications. It supports the most common text-based subtitle formats and allows for subtitle editing, conversion and synchronization. SubLib is written in C# and can be used in platforms like Mono or .NET Framework.

Maintainer Bugowner

YAP is a high-performance Prolog compiler developed at CRACS and LIACC/Universidade do Porto. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog. YAP has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on m68k based machines. The assembly code was used to implement the WAM emulators. Later emulators supported the VAX, SPARC, and MIPS architectures. Work on the more recent version of YAP strives at several goals:

Maintainer Bugowner

This project aims at building the Coq proof assistant together with all its libraries.

Maintainer Bugowner

Coq is a proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification.

This package contains shared files and the commandline interface. For GTK graphical interface install %{name}-ide.

This package is based on the same package from the project 'openSUSE:Factory:Contrib' and it is fully compatible with it, because it contains additional files.

LablGTK2 uses the rich type system of Objective Caml 3 to provide a strongly typed, yet very comfortable, object-oriented interface to GTK2+. Objective Caml threads are supported, including for the top level, which allows the interactive use of the library.

This package is based on the package 'ocaml-camlp5' from project 'openSUSE:Factory:Contrib'.

Camlp5 is a Pre-Processor-Pretty-Printer for Objective Caml, parsing a source file and printing some result on standard output.

This package contains the runtime files. It is built with '--transitional' option.

openSUSE Build Service is sponsored by