- OSI-Approved Open Source (39)
- Public Domain (5)
- Other License (4)
- Grouping and Descriptive Categories (39)
- Linux (39)
- Windows (32)
- Mac (25)
- Modern (23)
- BSD (18)
- Solaris (6)
- Android (4)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A Chinese Chess (xiangqi) game for Linux and Windows. Aims to be fast, flexible and above all simple to use. You can play with your friends or against the AI.1 weekly downloads
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...1 weekly downloads
Art generating programs by Rob Myers.1 weekly downloads
This library is intended to provide a minimal C/C++ API to efficiently create, manipulate, and parse LISP-style symbolic expressions.1 weekly downloads
ALF is an agent system that employs several advanced and risky ideas: Processes as Haskell functions as autonomous agents; Standard XML ontology import; Multilevel emergence; Soft modeling; Concept lattices; Metaphoric visualization.
Online game for developers. Program your team of 4 ants (in LISP) that can reproduce and gain experience and fight against another players in different game modes(CTF, TDM, DM)!
GPL Music Annotation and Publication (well, Jublication anyway) software just for composing and midi-entering music, and printing music sheets. It is a composition and score editor, nothing more.
General purpose lisp-based functional programming query utility for Mediawiki. This is a program written in Chicken Scheme that executes queries on the Mediawiki api in batch and posts the results on the wiki.
Multi-User Domain. Scheme as implementation language as well as for coding object behaviour. Scheme/MUD enthusiasts welcome.
Mel McGee's Talkbots is a complete multi-browser, multi-platform talking head application in SVG suitable for web sites, or as an avatar for your programs. Text to speech (TTS) synthesis is sent using optional MP3 audio to lip synch ing characters.
This project is a "meta" control for the MAXIMA symbolic math program. MAXIMA is a text-based math program that has a linear structure: each statement building on the previous one. MetaMax gives a overview and branching structure to your investigation.
Academic research paper with sample programs and code illustrating the development, goals, and future of Artificial Creativity.
Collection of simple testcases for a lot of programming languages.
Livestock Tracking and Management System. Track health, breeding, pasture location, expenses and income for livestock.
TechnoForge aims to be a website operated for the purpose of fostering hardware development and technical documentation creation under Open-Source Initiative -approved licenses or other arrangements relating to hardwware and/or documentation development.
The Genetic Architecture Framework is intended to explore and experiment with artificial life techniques using a genetic base for the physical and neural networks for the brain, in a game based simulated world.
An excercise in construction of self-modifying, self-exploring reflective system. The approach is to use autonomous code snippets inspectable and mutable by other code snippets, plus a hierarchy of their abstractions.
A multiplayer RPG, which concentrates on the idea that spells are like functions and make you write your own spells.