OSI-Approved Open Source (36)
- GNU General Public License version 2.0 (19)
- GNU General Public License version 3.0 (7)
- MIT License (5)
- BSD License (4)
- GNU Library or Lesser General Public License version 2.0 (3)
- Artistic License (1)
- Boost Software License (1)
- GNU Library or Lesser General Public License version 3.0 (1)
- University of Illinois/NCSA Open Source License (1)
- Other License (2)
- Linux (40)
- Windows (33)
- Mac (30)
- Android (22)
- Grouping and Descriptive Categories (19)
- BSD (8)
- Modern (7)
- Artificial Intelligence
- Electronic Design Automation (EDA)
- Human Machine Interfaces
- Information Analysis
- Ecosystem Sciences
- Programming Language: Haskell ×
Mister is a game engine written in ANSI C. The purpose is to provide the fastest tool-based game engine out there. Tools will be created in Haskell (using GHC), and the content is procedurally generated in ANSI C.
Procreator is a framework for genetic programming written in Haskell. Procreator generates fully typed programs. This will allow for more effective crossover and for better compilation of the generated programs.
The SpindleCAD is a machine-tool spindle design software. It helps engineers check properties of finished construction and optimize construction with respect to precision and productivity.
A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.
A DNS name for my products ( http://meansofproduction.biz ). The first subproject ("WFL/VS") to be posted here c.2008-11-01. In the database §, "Other API": our C CLI which operates over JDBC, ODBC, DBI/DBD, etc. Native support for the named RDBMSes
This will be a graph generator, generating lists of graphs satisfying given conditions (filters).
HGPC is a Haskell port for the General Polygon Clipper Library (GPC), a flexible and highly robust polygon set operations library. GPC is free for non-comercial use and can be obtained at http://www.cs.man.ac.uk/~toby/alan/software/ .
A pure functional implementation of the game of Scrabble(R) written in Haskell.
This C library implements all questions generally asked in any technical interview, like finding the second largest number in an array, stack implementation of an in-order tree walk etc.
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
A graph-coloring-solver using sat-solvers. Goal of this project is to provide a clean, extensible and efficient implementation in Haskell with well satsolver-integration, good tools to evaluate different encodings and nice bridges to real world problems.
Parallel Automatic Differentation
Seamntic Web implementation of Chu Space mappings using ontology developed from Peirce's "On a New list of Categories."
Library and tools implementing soft computing (fuzzy logic, genetic algorithms etc.). The aim is a framework that provides easy and effective handling of soft computing algorithms.
powerPlant is a plant modelling tool based on parametric plant descriptions, producing highly detailed models that can be exported to 3ds. Deriving similar plants is a matter of 1 click! Complete scenes can be composited with the integrated scene editor.8 weekly downloads