Search Results for "x-hdl3"

Agena is an easy-to-learn procedural programming language suited to be used in scientific, mathematical, scripting, networking, and many other applications. Binaries are available for Solaris, Windows, Linux, OS/2, Mac OS X, Raspberry Pi and DOS.

Study and analyze the Fingerprint of God in the mathematical structure, known as the King James Code, of the King James text of the Holy Bible. Allows instant real-time searches, with an autocompleter droplist to assist with words which come next. Jump to specific words, verses, or chapters by number, and see all possible count statistics of phrases within the text. Graphically visualize search results, cross-reference sources and word lexicons, and search foreign translations derived...

These are two C++ libraries for symbolic, numeric and graphical manipulations in non-Euclidean geometry. There is GUI which allows to interact with these libraries by mouse clicks. On a dipper level the first library Cycle implements basic operations on cycles (quadrics) through FSCc construction. The second library Figure operates on ensembles of cycles connected by Moebius-invariant relations, e.g. orthogonality. Both libraries are based on the Clifford algebra capacities of the...

Zero Install is a decentralised cross-distribution software installation system. Create one package that works everywhere! With dependency handling and automatic updates, full support for shared libraries, and integration with native package managers

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

Current version of libliveDVD - ver. 2.0 contains Koha 20.05, DSpace 6.3, VuFind 7.0. All these software are installed, preconfigured on Linux Mint (Xfce) (LTS)-64bit operating system. It also contains other software preinstalled such as mailserver, ibus-multilingual input method, ssh server, ftp server, etc.

BiblioteQ strives to be a professional cataloging and library management suite, utilizing a Qt 5.x interface and providing connectivity to PostgreSQL and SQLite. The SRU and Z39.50 protocols are used for retrieving data for books, journals, and magazines. The official source repository is located at https://github.com/textbrowser/biblioteq. Latest releases may be downloaded at https://github.com/textbrowser/biblioteq/releases.

CoolReader is fast and small cross-platform XML/CSS based eBook reader for desktops and handheld devices. Supported formats: FB2, TXT, RTF, DOC, TCR, HTML, EPUB, CHM, PDB, MOBI. Platforms: Win32, Linux, Android. Ported on some eInk based devices.

OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.

this is where you will find all of my completely free software. both free as in "free speech" and free as in "free beer"! this project space has been established so we can all help eachother with software development. in other words, we're here for the learning experience. i will always give my source code so that you may study it and practice it yourself and/or provide constructive feedback so you can help me learn how I can make improvements. for a complete list of my software featuring...

JChart2D is a easy to use component for displaying two- dimensional traces in a coordinate system written in Java. It supports real-time (animated) charting, custom trace rendering, Multithreading, viewports, automatic scaling and labels. Former UI controls (right click context menu, file menu) have been ported to the subproject jchart2d-uimenu (https://sourceforge.net/projects/jchart2d-uimenu.jchart2d.p/) for the benefit of having no dependencies to 3rd party libraries.

a simple program for manage and Organize Tips that you learn everyday

Tribuit is a basic word manager with word check function specialized for latin words based on java.

Biblio is a school-library-management-system, written in Python, featuring the management of multiple book-copies as common in school-libraries.

DASS-GUI is a graphical user interface for pattern search in non-sequential data.

OpenSource Interactive Kiosk System (OSIKS) - Free information system for e-Government, public services, information and others aims. LAMP + Opera (browser in kiosk mode) + Keyboard (java virtual keyboard).

A Qt GUI for archiving old floppies, CD-ROMs and other types of media to organized collections of disk image files, along with scanned images of the disks' physical appearance so that you can find them later by their familiar looks.

Gutenbrowser is a cross platform application to easily search, download and read free classic literature, in the form of electronic etexts. Classic books republished electronically by the <a href="http://promo.net/pg/">Project Gutenberg</a>.

La Suite Nemesis Research & Design 1.x (NemesisRD) es un conjunto de librerías multipropósito, que ofrece gran cantidad de clases y patrones implementados en C++, que tienen como objetivo facilitar la realización de las tareas más habituales a la hor

Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.

Die Dokumentationsreihe Linuxhandbuch setzt sich aus einzelnen Büchern zusammen, darunter Linux für Anwender, Administratoren und Netzwerker. Außerdem werden ganz gezielt einzelne Themenbereiche, wie Apache, Samba oder Hochverfügbarkeit abgedeckt.

This project will be a command-line/gui driven book cataloging utility that will allow simple input based on isbn (and possibly title at a later date) for use on major platforms (linux, os x, win32) in conjunction with the MySQL database software.

Project page has moved. Please check new homepage of the project.

URI-URL collector is a manager of cites, references, links, bookmarks etc. with an idea to present information just-in-time whenever it is needed

To build a 3d Printer that uses tine micro-pipette of some micrometers of radio to print from a 3d scheme a functional kidney, using steam cells,in 6 months.