Mixed Integer Linear Programming (MILP) solver
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS
JGAP is a Genetic Algorithms and Genetic Programming package written in Java. It is designed to require minimum effort to use, but is also designed to be highly modular. JGAP features grid functionality and a lot of examples. Many unit tests included. Legal notice/Impressum: Klaus Meffert An der Struth 25 D-65510 Idstein sourceforge <at> klausmeffert.de
AMMORIA (ARAB) is an object oriented programming language uses Arabic words instead of English words, to make learning programming for Arab children easy and fast, it's planned to support Urdo and Farsi too, AMMORIA has its won IDE and Visual stuff.
A cross-platform library that computes fast and accurate SIFT image features. libsiftfast provides Octave/Matlab scripts, a command line interface, and a python interface (siftfastpy). Optimized with SIMD instructions and OpenMP .
iVSwap is a simple function which can be used as a library and swaps values between two variables in a mathematical way using a classic Boolean algebra law without the need of a buffer! The advantages of this technique is speed and portability.
Libraries providing optimized alternative implementations for Delphi VCL/RTL functions, methods and classes.
libPGF is an implementation of the Progressive Graphics File (PGF)
The Progressive Graphics File (PGF) is an efficient image file format, that is based on a fast, discrete wavelet transform with progressive coding features. PGF can be used for lossless and lossy compression.
Fuzzy Procedural Content Generation Library (FPCGlib) is a C++ template library for game development. FPCGlib provides a unique combination of fuzzy mathematics and procedural techniques to safely generate content with simulated natural variability.
A Turing Machine Simulator. Simulates execution of a Simple Turing Machine executing some flow -described as a symbolic language- to prove that some problem is computable.
Java topology suite is an API of 2D spatial predicates and functions. Provides a complete , consisstent, robust methods of 2D spatial algortims. This DLL is writen in Java and compiled in .net VS2005.
A class/library which uses the graphic card for linear algebra. Warning : you will need a GeForce 8 serie to take profit of this class.
libPPP is an advanced image compression library. Depending on the content of the image, it uses either PGF (Progressive Graphics File) or PNG (Portable Network Graphics) to compress the image.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
Includes a vietnamese corpus, tools to download and extracts news in plain text from e-magazines, and some text classification programs implementing traditional methods as well as some other advanced methods
CryAlgo is for Academic only Purposes. Demonstrates the implentation of some ciphers at the moment . Its open source and i intend add more algorithms for ciphers .
A subset of the mostly used modules in Jakarta commons implemented in C#. Modules: TypeUtils (Copy, Verify), MapUtils (Merge, Creation), ToStringBuilder, EqualsToBuilder, TypeIntrospector , ListUtils
Deploy VB.NET applications quick and easy
InnoVB .NET Packager is the easiest deployment tool for VB.NET applications via Inno Setup. It includes all the Application's dependencies even the COM libraries. Great for hybrid application projects. System Requirements: * .NET Framework 2.0 or later * Windows 2000 or later * 256Mb RAM or higher * 1GHz Processor or higher * Inno Setup 5 or higher NOTICE: Visual Basic .NET is a trademark of Microsoft. Inno Setup is a trademark of Jordan Russel. All trademarks are owned by their respective holders.
analysis of a web based social network (initiated by study project)
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.
The package is a Microsoft .NET 2.0 package providing the processing of the geographical data. The library supports popular "home" formats of geographical data: Ozi Explorer, MP and MPS. The library supports map nomenclature (Soviet headquarters).
Broccoli contains: -real and complex numbers,vectors,matrices,functions,polynomials -function minimizers,evolutionary algorithms,neural networks -pdfs,cdfs,max-likelihood,regression,DGPs,PRNGs,armax,garch,statistical estimation etc. -friendly JavaSwingGUI
OpenDark is a free simplification of 'dark'. It's the first open BWT-DC compressor, which has a simple code, high speed and compression ratio. And it's waiting for your ideas! :)
libmgcd is a multigrid contact detection (MGCD) library.
Library of terrain level of detail algorithm nodes for Coin (an implementation of an Open Inventor scene graph) and other utility classes. Currently are implemented ROAM, Geo Mip-Mapping and Chunked-LoD algorithms. Any issues and feedback for this projec
Solving the Travelling Salesman problem is not our objective. We are writing an algorithm which will sort out the traffic woes of transport companies. In turn, it will help in saving traveling cost and time for the people involved and the transport compa