A collection of machine-checkend mathematical proofs
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.
X3D is the open-standard format for 3D graphics scenes on the Web.
Extensible 3D (X3D) Graphics is a royalty-free International Standard for real-time interactive 3D graphics on the Web, providing unsurpassed interoperability for 3D communications on the Web. This project includes source for example X3D scene libraries and multiple X3D codebases produced by Web3D Consortium members. All open-source contributions are welcome.
Safe Exam Browser is a webbrowser-environment to carry out online-exams safely. The software changes any computer into a secure workstation. It regulates the access to any utilities and prevents students from using unauthorised resources.
open source analogue of IBM OS/2 operating system
The portable software collection
winPenPack is a project that aims at collecting the most frequently used and most popular open source applications made portable, so that they can be executed without installation from any USB Flash Drive or Hard Disk. The winPenPack suites offer a wide range of portable applications like office tools, internet tools, multimedia tools, development tools, security applications and other frequently used utilities. Everything you need, completely free, open source and portable!
DIS(IEEE 1278.1) Fully Implemented in C++
A complete open source implementation of DIS (Distributed Interactive Simulation) in C++. 1278.1 and 1278.1a are fully implemented including enumerations. Includes several utility classes to help with developing your DIS app. DIS 7 work is ongoing.
vRules4j--Object Oriented Java Object Validation/Decision Rule engin
vRules4j--The best completely Object Oriented Java Object Validation/Decision Rule engine,which is born for taking over all validation responsibility in java business-enterprise industry and looking forward to providing Perfect/Lightweight solution.
RFC 3986 URI parsing and processing libary
PLEASE NOTE that we are in the process of moving to GitHub: https://github.com/uriparser/uriparser uriparser is a strictly RFC 3986 compliant URI parsing library written in C. uriparser is cross-platform, fast, supports Unicode and is licensed under the New BSD license. PLEASE NOTE that we are in the process of moving to GitHub: https://github.com/uriparser/uriparser
Reads and writes DWARF2,3,4, and 5 Debugging Information
Libdwarf is a library and a set of command-line tools for reading and writing DWARF2 and later debugging information. Libdwarf handles the details of the actual format so coders can focus on the content.
Internet Discussion Boards is a message board system by Game Maker 2k.
Internet Discussion Boards is a message board system by Game Maker 2k. Its very easy to set up. Your web host needs PHP and CUBRID / MySQL / MariaDB / PostgreSQL / SQLite. Internet Discussion Boards is Open Source so you can make changes to it.
Polish man pages
Projekt ma na celu zapewnienie aktualności polskich tłumaczeń stron podręcznika systemowego. Angielski materiał źródłowy pochodzi z Debiana Sid. Pierwotne tłumaczenia zaczerpnęliśmy z Projektu Tłumaczeń Manuali (*1998-†2006), Będziemy wdzięczni za każdy, nawet drobny wkład. Przyjmiemy zgłoszenia błędów, poprawki stylistyczne lub pomoc w tłumaczeniu. Kontakt: email@example.com. Dodatkowe informacje: https://sourceforge.net/p/manpages-pl/wiki/ Strony podręcznika systemowego online: • https://manpages.debian.org/unstable/manpages-pl Pakiety: • Arch: https://aur.archlinux.org/packages/man-pages-pl/ • Debian: http://packages.debian.org/manpages-pl • Fedora: https://apps.fedoraproject.org/packages/man-pages-pl • Gentoo: https://packages.gentoo.org/packages/app-i18n/man-pages-pl • Ubuntu: https://launchpad.net/ubuntu/+source/manpages-pl
Educational Linux Distribution
Main goals: * Prepare operating system based on Linux kernel and free software for use at home from scratch by building sources. Binary packages/images are also available. * Each package is installed in separate directory, so you can use different versions of applications and libraries by design. * There is only one user 'kanapi' with root permissions, so you don't have to login, remember passwords, etc. * Simple configuration * Automatic compilation.
WebKit for OS X Leopard
builds of current WebKit frameworks for Mac OS X 10.5 (PowerPC G4, PowerPC G5). In order to revive the Snow Leopard builds at least one volunteer with skills in building open source software is needed!
Homebrew toolchains for wii, gamecube, 3ds, ds, gba, gp32 and psp
This project is for homebrew console development tools based on the gnu compiler collection with additional tools and libraries to aid programming each supported console. The windows variants are built with MinGW.
A distribution of open source LabVIEW VIs and applications that seamlessly integrate into the LabVIEW development environment. This toolkit comes with a custom palette view, and myriad applications that may be launched from the LabVIEW "Tools" menu
Dropline GNOME is a version of the GNOME Desktop that has been tweaked for Slackware Linux systems. It is available in Slackware's standard .tgz package format and requires Slackware 11.0 or higher.
Internet - Multi Server Control Panel
i-MSCP (internet Multi Server Control Panel) is an open-source project which allows the management of shared hosting environments on Linux servers. i-MSCP aims to provide an easy-to-use Web interface for end-users (administrators, resellers and clients) and to manage servers without any manual intervention on the filesystem.
Matroska is an open standard audio/video container format. Visit our homepage at http://www.matroska.org
Application to gather all small or big code snippets.
Allows a user to gather in one place small code samples for specific tasks and makes them easily accessible and searchable.
Portable version of the Chromium web browser
Chromium Portable is a portable version of the Chromium web browser, packaged in the PortableApps.com Format, so you can run it from an iPod, USB flash drive, portable hard drive, CD or any other portable media.
Open Source Intelligence Framework
NEW PROJECT PAGE: https://sourceforge.net/projects/oryon-osint-browser/ Oryon C Portable is a web browser designed to assist researchers in conducting Open Source Intelligence investigations. Oryon comes with dozens of pre-installed tools and a select set of links cataloged by category – including those that can be found in the OI Shared Resources. ▪ Based on SRWare Iron version 31.0.1700.0 (Chromium) ▪ More than 70 pre-installed tools to support investigators in their everyday work ▪ More than 600 links to specialized sources of information and online investigative tools ▪ Additional privacy protection features ▪ A ready to use opml file containing a sorted collection of information sources in the fields such as: OSINT, Intelligence, online research, InfoSec, defense, and more.
Password Safe encrypted databases, Java library
Java module to create, read and write Password Safe V3 encrypted databases. The package is a mature offspring from project JPasswords and can be used with Java 1.6 or later.
The Amiga Desktop Replacement
Scalos is a desktop replacement for the Amiga. Some of its features: 100% Workbench replacement, Undo and Redo, 64bit arithmetic, Fully multitasking, Icon imagetypes, Icon datatype system, Icon dragging is more stable, Cybergraphics and Picasso96 24bit color support, Window patterns, Optimised backgroundpatterns routine, Live updating window scrolling, Drawer windows can be iconified, Menu preferences, Application Interface (API)
FLAC is a free lossless compressed audio format which supports streaming and archival. The FLAC project maintains the format and provides a reference encoder/decoder and input plugins for several popular audio players.
PHP database abstraction layer
ADOdb is a PHP database class library to provide more powerful abstractions for performing queries and managing databases. ADOdb also hides the differences between the different databases so you can easily switch dbs without changing code. There is also an outdated and unmaintained Python library