Search results for “site:sourceforge.net”
Page 4 of about
565 results
The GTS Library Introduction Getting GTS Packages Debian packages Sample files Python bindings Developmental Darcs repository Daily snapshots ChangeLog Mailing Lists Sourceforge page Screenshots GTS in action Documentation GTS Reference GLib Reference Installation instructions Bibliography Help...
The HOL interactive theorem prover is a proof assistant for higher-order logic: a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically...
If you'd like to use your Apple Mac with OS X for some numerical computation, this site could be useful to you. Most of these packages have been compiled/tested on several version of OS X and XCode Tools. Feel free to contact me with questions or problems! Computation Tools :: C/Fortran GCC 4, 5...
IVI is a graphical front-end for various simulators. IVI allows the user to control simulation and view signal waveforms as the data is produced by the simulation. IVI stresses an interactive approach to design testing and debugging Signal...
Krc is a graphical irexec for KDE.It docks in the panel and lets you execute arbitrary commands on an IR signal decoded by lircd, the LIRC daemon. It supports loading of different lircrc config files. Programming language: C++ OS platform: Linux Graphics libraries : qt3, kde3 Other libraries...
LFC - The X-Platform This page needs a browser that supports frames
Mr. Lu the unoffical LUnix-Logo, as suggested by Stefan Haubenthal. :-) Download the current sourcecode including the cross development system, directly access the CVS development tree, download daily snapshots, join the LNG community at SourceForge! About LNG LNG is an operationg system primarly...
MET is a C++ matrix class library which promotes the notational convenience of linear algebraic codes but is free of the overhead of superfluous temporary matrix objects. Instead of coding tedious loops for the linear algebraic expression in C or fortran, C++ overloaded operators enable one to...
Mike's Java Profiler is a performance profiler for Java programs. It collects statistics about accumulated CPU time used by each stack frame in the profiled program and presents the collected data in a GUI. The presented data can be used to locate CPU bottlenecks within the profiled program. The...
muh, an irc bouncer for unix