Run Windows applications on Linux, BSD, Solaris, and Mac OS X
Wine is an Open Source implementation of the Windows API on top of X and Unix. Wine provides both a development toolkit for porting Windows sources to Unix and a program loader, allowing many unmodified Windows binaries to run on x86-based Unixes.
Regulus is a Prolog-based toolkit for building spoken dialogue systems.
WSClean is a fast widefield interferometric imager
WSClean (w-stacking clean) is a fast generic widefield imager. It uses the w-stacking algorithm and can make use of the w-snapshot algorithm. As of Feb 2014, it is 2-12 times faster than CASA's w-projection, depending on the array configuration. It supports full-sky imaging and proper beam correction for homogeneous dipole arrays such as the MWA. WSClean allows Hogbom and Cotton-Schwab cleaning and has wideband, multiscale, compressed sensing and joined-polarization deconvolution modes. All operations are performed on the CPU.
ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.
ZX Second-Emulator And Released for UniX
ZEsarUX - ZX Second-Emulator And Released for UniX It's a ZX Machines Emulator for Unix, including all the Sinclair computers: -MK14 -ZX80 -ZX81 -ZX Spectrum -QL -Z88 And also: -Timex TS 2068 -Sam Coupe -Pentagon -Chloe 140 SE, 280 SE -Chrome -Prism -ZX-Uno -ZX-Evolution TS-Conf -TBBlue/ZX Spectrum Next -Jupiter Ace -Amstrad CPC 464 ZEsarUX source code and binaries are distributed under GNU GPL license. ZEsarUX also includes third-party roms, media, programs and games NOT covered by this license This is my second ZX Spectrum emulator after ZXSpectr http://sourceforge.net/projects/zxspectr/ Available versions for download here: -Source code -Binary compiled versions: --Linux 32/64 Bits --Mac OS X --Windows --Raspberry pi (raspbian) Other by 3rd party: -Arch Linux: -Retropie/EmulationStation -Open Pandora -PocketCHIP -MorhpOS
scl is Objective C library for macOS, iOS and GNUstep with custom set of ObjC classes and extentions of standard CF, Cocoa and Cocoa Toch classes, such as NSString
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.
MusE is a Qt based audio/midi sequencer with editing and recording capabilities for linux.
open source supply chain planning
FrePPLe is a leading open source advanced planning and scheduling tool (APS).
THIS PROJECT HAS MOVED TO BITBUCKET, PLEASE VISIT: https://bitbucket.org/ssardina-research/indigolog ------------- IndiGolog is a high-level programming language where programs are executed incrementally to allow for interleaved action, planning, sensing, and exogenous events.
uGet, the Best Download Manager for Linux. uGet is an Open Source download manager application for GNU/Linux developed with GTK+, which also comes packaged as a portable Windows app. uGet uses very few resources while at the same time packs an unparalleled powerful feature set. These features include a Queue, Pause/Resume, Multi-Connection (with adaptive segment management), Mirrors (multi-source), Multi-Protocol, Advanced Categorization, Clipboard Monitor, Batch Downloads, Individualized Category Default Settings, Speed Limiting, Total Active Downloads Control, and so much more! For the full Features list go to http://ugetdm.com/features - Quick Links - Blog: http://ugetdm.com/blog Support Forum: http://ugetdm.com/forum Tutorials: http://ugetdm.com/tutorials RSS Feeds: http://ugetdm.com/rss Gallery: http://ugetdm.com/gallery Frequently Asked Questions (FAQs): http://ugetdm.com/faqs
AfterLogic WebMail Lite PHP is a free AJAX webmail application. Users can receive, view, manage, compose, and send email through web interface (IMAP and SMTP supported). Source code included.
The Free / Libre / Open Source Web App with the most built-in features
"Software made the wiki way" A full-featured, web-based, multilingual (40+ languages), tightly integrated, all-in-one Wiki+CMS+Groupware, Free Source Software (GNU/LGPL), using PHP, MySQL, Zend Framework, jQuery and Smarty. Tiki can be used to create all kinds of Web applications, sites, portals, knowledge base, intranets, and extranets. Tiki is the Open Source Web Application with the most built-in features. Highly configurable and modular, all features are optional and administered via a web-based interface. Major features include a wiki engine, news articles, discussion forums, newsletters, blogs, file galleries, bug and issue trackers (form generator), polls/surveys and quizzes, banner management system, calendar, maps, mobile , RSS feeds, category system, tags, an advanced themeing engine, spreadsheet, drawings, inter-user messaging, menus, advanced permission system for users and groups, search engine, external authentication, etc. Security reports: firstname.lastname@example.org
The free computer aided translation (CAT) tool for professionals
OmegaT is a free and open source multiplatform Computer Assisted Translation tool with fuzzy matching, translation memory, keyword search, glossaries, and translation leveraging into updated projects.
Database replication tool based on XML Schema
xsd2pgschema is a Java application suite, which converts XML Schema 1.1 to PostgreSQL DDL and supports XML data migration into PostgreSQL based on the XML Schema without defects on information content. It also supports full text search via either Apache Lucene or Sphinx Search. File convesion from XML to CSV or JSON is available as well as mapping XML Schema to JSON Schema. Obtained PostgreSQL database can be optimized at user's discletion. Moreover, XPath/SQL translation, direct XPath addressing and document order preservation are possible by option. Quite large XML file can be split and processed through xmlsplitter, a flexible XML splitter based on XPath and StAX.
GDL - GNU Data Language, a free IDL (Interactive Data Language, see http://ittvis.com/idl/) compatible incremental compiler.
SuperTuxKart is a kart racing game featuring Tux and friends. It is a fun-racer game, focusing on fun and ease of play.
Archive of all available pimcore builds
eGuideDog project develops free software for the blind. Currently, we focus on WebSpeech, Ekho TTS and WebAnywhere.
FrontAccounting (FA) is a professional web-based Accounting system for the entire ERP chain written in PHP, using MySQL. FA is multilingual and multicurrency. For further information and more downloads, visit our website, http://frontaccounting.com.
Computer Algebra System written in Common Lisp
Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0 giving the symbolic results [x=r+s, x=-s]. Maxima can calculate with exact integers and fractions, native floating-point and high-precision big floats. Maxima has user-friendly front-ends, an on-line manual, plotting commands, and numerical libraries. Users can write programs in its native programming language, and many have contributed useful packages in a variety of areas over the decades. Maxima is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Maxima is widely used: annual direct downloads exceed 300,000. Many other users receive it through secondary distribution.
Full-text index generator of OWL literals
owl-indexer generates full text index of OWL literal via either Apache Lucene or Sphinx Search. It is based on OWL API (https://github.com/owlcs/owlapi).
An Audio/MIDI multi-track sequencer
Qtractor is an Audio/MIDI multi-track sequencer application written in C++ around the Qt framework. The target platform will be Linux, where the Jack Audio Connection Kit (JACK) for audio, and the Advanced Linux Sound Architecture (ALSA) for MIDI,
Local-search based solver of Constraint Satisfaction and Optimization Problems.