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. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter […]
VideLibri watches over the books you have lend in public libraries. It will automatically renew the loan period, warn you if some books are due, and keep a history of all lend books. You can also search new books in the catalog and order the found books. It has been tested with over 100 libraries […]
Some generic container library Red-Black tree, AVL tree, Decart tree, Weight-balanced tree – persistent and nonpersistent version HashMaps, FIFO, ResPool and other Today’s small-to-medium-sized (SMB) businesses and large enterprises are saving on their monthly communications costs by making one simple decision: to switch to a VoIP service solution from their old, outdated Plain Old Telephone […]
Reference management, bibliography management, citations and a whole lot more. Designed by academics for academics, under continuous development since 2003, and used by both individuals and major research institutions worldwide, WIKINDX is a single or multi-user Virtual Research Environment (an enhanced on-line bibliography manager) storing searchable references, notes, files, citations, ideas, and more. Plugins include […]
Distributed Proofreaders is a web application (written in PHP and backed by a MySQL database) that is intended to ease the process of converting public domain books and other printed materials into e-texts. The main site is at http://www.pgdp.net By breaking the work into individual pages, many proofreaders can be working on the same book […]
A free cross-platform library of fast C++ routines for the plotting of up to 3-ranged data. It can export to bitmap and vector EPS/SVG files. There are window interfaces (GLUT/FLTK/Qt) and console tools. MathGL can be used from C/Fortran/Python/Octav/Lua You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help […]
Kiwix is an offline reader for Web content. It’s especially intended to make Wikipedia available offline. With Kiwix, you can enjoy Wikipedia on a boat, in the middle of nowhere… or in Jail. Kiwix manages to do that by reading ZIM files, a highly compressed open format with additional meta-data. The SourceForge Speed Test measures […]
Agena is a new 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. If you are like the rest of our user community, your IT team is busy. With pressure to deliver […]
BiblioteQ strives to be a professional cataloging and library management suite, utilizing a Qt 4.8.x or 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 source releases may be downloaded […]
An ERP application developed with JVx and other open source libraries. Today’s small-to-medium-sized (SMB) businesses and large enterprises are saving on their monthly communications costs by making one simple decision: to switch to a VoIP service solution from their old, outdated Plain Old Telephone Service (POTS). By choosing a new VoIP service, these companies enjoy […]