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 […]
-Xendra ERP -Xendra Historian (ISA S95) adaptado a los requerimientos financieros e industriales de Peru. contabilidad facturacion POS compras ventas letras The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your connection. This HTML5 speed test does not require Flash […]
Fileaxy is a file de-duplication, organization, and bulk previewing tool which utilizes a new user interface for local file management. Using content hashing or machine vision algorithms, Fileaxy can detect identical files as well as similar images, videos, or fonts and correlate those to others based on naming conventions. Optionally integrates with ImageMagick, GraphicsMagick, FFmpeg, […]
This openSIS Community Edition is the official openSIS edition supported by Open Solutions for Education, Inc., the publisher of openSIS application. This edition is worked on by the OS4ED core development team and is also open to the public. Today’s small-to-medium-sized (SMB) businesses and large enterprises are saving on their monthly communications costs by making […]
SDCC is a retargettable, optimizing standard C (ANSI C89, ISO C99, ISO C11) compiler that targets a growing list of processors including the Intel 8051, Maxim 80DS390, Zilog Z80, Z180, Rabbit 2000, gbz80, Motorola 68HC08, S08 and STMicroelectronics STM8 targets. There also is incomplete support for the Microchip PIC16 and PIC18. The SourceForge Speed Test […]
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.
VICE is an emulator collection which emulates the C64, the C64-DTV, the C128, the VIC20, practically all PET models, the PLUS4 and the CBM-II (aka C610). It runs on Unix, MS-DOS, Win32, OS/2, Acorn RISC OS, BeOS, QNX 6.x, Amiga, GP2X or Mac OS X machines. Today’s small-to-medium-sized (SMB) businesses and large enterprises are saving […]
OpenSong is a free software application for managing chords and lyrics sheets (lead sheets), presenting lyrics (and custom slides) using a projector, and much more! Great for worship leaders and musicians! The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about […]
Complete, Collaborative, Quality based Open Source Project Organizer. ProjeQtOr (formely Project’Or RIA) is a collaborative project management software. It’s a tool designed to be a Project Organizer as a Rich Internet Application. Web based, it is very easy to use and targets to include every feature needed to the management of your projects. Listed as […]
The PHP script engine for Java. — Run PHP applications within any J2EE server or servlet engine and/or connect script engines like PHP with Java or .NET back ends efficiently. The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your […]