ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
Intellect Modeling Kit ~ AI intellect-based apps development suite
Intellect Modeling Kit is an alternative to traditional Artificial Intelligence, intended to build apps assisting human intellect on the steps of its activity: * Observation * Producing propositions based on knowledge * Elimination of impossible propositions * Selection and verification of the most appropriate propositions * Memorizing - converting data to information and new knowledge item creation * Abstraction finding – building artificial objects representing group of real objects, featuring typical signs of group Any human knowledge written and spoken can be uploaded to IMK in a straight way by any expert not familiar with software coding. The IMK components are designed to create ready-to-use software application using simple text files provided by people. IMK accepts human knowledge and develops new knowledge together with people. The activity of IMK could be verified by human expert on every stage. IMK assists intellectual activity, but does not replace us.
Open Source Solid Modeling CAD
BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for rendering & geometric analyses, network distributed framebuffer support, image & signal-processing tools.
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.
Ngspice project aims to improve the spice3f5 circuit simulator.
Extended C Library
Why Is libxc needed? There doesn't exist a library for ANSI C99 for common data containers, such as vectors, trees, etc. There also also doesn't exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc... The programmer working in C doesn't have anything analogous to the Boost C++ library. The extended C library is intended to make some headway into providing this functionality. To ensure unrestricted usage the libxc project is provided under the very permissive BSD license. If you need a different license then please send me a request (lelanthran at gmail) and I'll do my best to satisfy your request. What's completed? As of writing, the following libraries have been written and tested: 1. Memory accounting/tracking 2. String operations 3. Vectors 4. Trees 5. Dictionary arrays 6. Configuration management See the wiki page for more information
UPDATE March 14, 2018 Repository and tracking officially moved to github. https://github.com/opticks-org/opticks Sourceforge mailing lists are still in use. Opticks is an open source remote sensing application and development framework.
Prevent and Protect Your HTML5 Video, Music , Audio From Download Free
Defa Protector is A Simple PHP and Wordpress Plugin To Protect and Prevent Video Save As From Browser and Some Video Grabber. There is 100% Guaranteed Protection and There might be some tradeoff but If you care about Digital Rights Management of Your Video and Music Content. This Project is for you. Defa Protector 6.7.1 Revamp Code For Better Performance To The Bone. We almost rewritten this project from scratch.
music composition and notation software, audio to midi converter
Jniz is a piece of software designed for musicians as a support tool to the musical composition. It allows you to build and to harmonize several voices according to the rules of classical harmony. Sound/audio-to-Midi converter: real-time conversion of any monophonic sound (voice, instrument etc.) into notes / tones. Jniz is a free proprietary piece of software. You do not have the right to sell, distribute Jniz or use its sources under penalty of law. You will infringes on the Jniz staff property rights. Please review the use license here: http://www.jniz.org/index.php/en/license
TORCS, The Open Racing Car Simulator is a highly portable multi platform car racing simulation. It is used as ordinary car racing game, as AI racing game and as research platform. It runs on Linux (x86, AMD64 and PPC), FreeBSD, OpenSolaris, MacOSX and Windows.
Deductive Database with Datalog, RA, TRC, DRC and SQL
The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).
Productivity and Office suite in one application.
JoPro is a productivity and office suite that incorporates a word processor, spreadsheet designer, presentation designer, and svg viewer into one application! Based off of Netbeans Platform. Images and code designed by Anthony Goubard. Originally called Joffice.
TKD Scoring Wi-Fi Server supporting Android and IPhone clients
TKD Scoring Wi-Fi system was created by Taekwondo people like you and we use the scoring system in all our classes, just like you We created this app few years ago to provide an effective, professional low cost solution with the same benefits and feeling experience, or even providing a better experience than any existing wired professional tournament solution The success of the application in our Taekwondo sparring classes where our members described the application as “Holy crap this is incredible! This looks even more professional and easier to use than any of the programs I’ve ever seen used at comps.” and “Hey... just installed everything and it’s unreal! Everything works perfectly, looks great!” encouraged us to make it public for everybody Like any scoring system the “TKD Scoring Wi-Fi” system has few basic components: *TKD Scoring Wi-Fi Server(PC or Android) *TKD Scoring Wi-Fi Client(Android or IPhone) *TKD Scoring Wi-Fi Remote Score Display (Android)
The OpenGL Extension Wrangler Library is a simple tool that helps C/C++ developers initialize extensions and write portable applications. GLEW currently supports a variety of operating systems, including Windows, Linux, Darwin, Irix, and Solaris.
Leadsheet notation with auto-generated playback, improvisation advice
Impro-Visor® is a music notation tool for producing monophonic lead sheets, specifically intended to help the improviser. Chord symbols are used to generate backing tracks automatically. Improvisation advice exists in the form of note coloration, database of licks, and automatic lick generation from grammars. Grammars can be learned automatically from transcriptions. Styles can be edited and created by the user. Other features include generation of roadmaps for understanding keys and idiomatic chord progressions, chord voicing keyboard, MIDI and MusicXML export. See http://www.cs.hmc.edu/~keller/jazz/improvisor for general information, including tutorials. Support and additional resources are through the user group https://groups.yahoo.com/neo/groups/impro-visor/info. The most recent source code, since summer of 2015, is housed here: https://github.com/Impro-Visor/Impro-Visor This started when SourceForge was down for over one week during an active development period.
Dictionary for Mobile Information Devices and PCs
DictionaryForMIDs is an dictionary application for cell phones, tablets and PCs. The dictionary is completely installed on the device ("offline dictionary"), i.e. after installation there is no need for an internet connection. DictionaryForMIDs can be set up for any dictionary, for any language, or for any other lookup-purpose. The DfM-Creator tool is used to set up a dictionary for use with DictionaryForMIDs.
Snare Enterprise: http://bit.ly/premium_snare
ATTENTION: Snare Lite is unsupported legacy software. While it will remain a part of the SourceForge community, it is no longer secure and compliant. For up to date Snare software check out Snare Enterprise. https://www.intersectalliance.com/why-snare-enterprise/ Snare Enterprise was created to keep up with the fast paced security software market. It started with the desire to create premium logging and SIEM tools that were agnostic by nature so they could be used to boost any SIEM architecture regardless of third party developers. In fact, the agnostic nature allows it to bridge gaps between multiple SIEM implementations across business units. For more on use cases, check out the Intersect Alliance website. https://www.intersectalliance.com/ Snare Enterprise’s premium features include: - Regulatory Compliance - TLS Encryption - Log Simulcasting - TCP – Guaranteed Log Delivery - USB Device Monitoring - And more! For updates follow us on social media!
Guma: An application for elementary school math...
To Guma είναι μια δωρεάν εκπαιδευτική εφαρμογή ελευθέρου λογισμικού όπου επιτρέπει στους μαθητές του δημοτικού να εξασκούνται στις πράξεις: πρόσθεσης, πολλαπλασιασμού, διαίρεσης και αφαίρεσης φυσικών αριθμών. Guma is a educational free of charge, free software (With the meaning of Richard Stallman) software that helps elementary school students to practice in adding,substraction, multiplication anb division with natural numbers.
Entrainer is a Java program (JRE 1.8.0_40+ required, available from http://java.sun.com/javase/downloads/index.jsp) which creates binaural beat frequencies with sound, light and animations for the purpose of entraining one's brain waves.
antigift is simple cross-platform, files & folders encryption tool
antigift could be used for encryption files & folders on USB-flash or HDD partition(with ccrypt in background). Works out of box on Linux, Windows, FreeBSD, MacOS X and other on OSes. Do not required installation. Included wipe tool for wiping free space and misskey for recovering partially forgotten key. See documentation at http://sourceforge.net/p/antigift/wiki/Home/ antigift простой и кросс-платформенный инструмент для шифрования файлов и папок(с ccrypt в качестве основы) Подробности см. на страничке с русской документацией http://sourceforge.net/p/antigift/wiki/rus/
File Transfer Tooling
Fiark is a File Transfer Tool (FTT.) Unlike a backup, an FTT is designed to QUICKLY copy ("float") files between a DIVERSE set of computing environments.
A system for computer algebra and symbolic mathematics
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.
Sudoku solving library using bruce-force search algorithm
The SudokuSolver class inside this library is simple and easy-to-use. It uses the bruce-force search algorithm to solve the Sudoku appeared on daily newspapers, books, etc. Continual updates to this library give you easier experiences with Sudoku solving, and can solve other sorts of Sudokus.
Bulk SMS Software in Java
www.786software.com www.bulksm.java-abc.com Bulk SMS Sender / Marketer Software have wide range of uses. By connecting your mobile set with computer user can send unlimited sms on single click. BSM can be used to promote business of every type. It has unlimited groups, unlimited contact no in each group. User can import contact no from Excel Sheet.. www.bulksms.java-abc.com BSS can be used almost in every field of life due to its vast usage.For any type of business like school, college, services, political campaigned, product marketing, announcements, retail business etc. To promote your business or product in short time just in minutes Bulk SMS Marketer is very helpful. We can also customized Bulk SMS Marketer with your already built in software like inventory management system , school management system , hotel management system , hospital management system , booking system , order delivery system , payroll system ,Restaurants, Hotels, Cafes, Event Promoters et
Tinger Calc is a powerful scientific calculator environment.
Tinger Calc is a powerful scientific calculator environment. It supports elementary math ( +, -, *, /, ^), trigonometric functions (sin, sinh, asin, cos, cosh, acos, tan, tanh, atan), exponential functions (exp, ln, lg, sqrt), math constants (pi, e), system functions (exit, quit, print). The software support email: email@example.com.