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.
Simple Iptables Firewall
An easy-to-use sparse iterative library
Provides a clean and easy interface to both iterative algorithms (Krylov solvers and stationary methods) and preconditioning facilities for application to the sparse systems of equations arising in all fields of science and engineering. SimpleSparse is well-suited to small and medium size projects that do not require a state-of-the-art library like PETSc or Trilinos, but instead value ease-of-use and programmer time. SimpleSparse also aims to provide unbeatable documentation of the code, both through a user's manual (in progress) and through documentation in the source code itself, so that the user can always find a way to extend the library to accomplish any purpose.
Sissor is a program that evolves programs. Sissor is an acronym for Scriptable Interactively-Steered Self-Organizing Routines.
Slipmat development has moved to GitHub: http://github.com/jacobjoaquin/Slipmat
This project build client/server Applications with Web Technology. All contraints is embeded into object that's the lonely interface with final developers
Bi-directional SQL <-> XML conversion and updating
Allows user to convert one or more database schemas to XML. Can also create and/or update existing database with schemas from XML. It will support multiple database platforms and abstractions.
A tool for detecting design patterns in Java bytecode
SuperWikia: The Runtime/Realtime Environment for Codesmiths
The SuperWikia Alpha 1.0 application is an IDE specifically developed for 3D and graphic content. Its built upon the Unity foundation and incorporates various libraries from Komodo IDE, wxDevC++, CodeBlocks, QT Creator and other applications. Its Realtime purpose is an IDE (codesmith developer access), its Runtime (U/I) function is as a space building simulator, operating in conjunction with the SuperWikia 'Navigator' user interface to simulate space economics and fleet operations. It allows users (known as 'data fleet navigators' or DFN's) to compete in tourneys over vast regions known as 'expanses' and to create envoys that manage onsite and offsite stations. Using additional SuperWikia components, users may enhance their experience with plugins and 'dataplates' that help build the Runtime environment. Codesmiths (SuperWikia Alpha developers) can also build on top of the codebase using 'transcribes', acronym/algebraic encodes that differentiate codesmith works.
SynapseNN is a simulator for artificial neuronal networks. It can be used to solve concrete problems. Use it as a standalone-application or as a library from your own applications.
A project to extend TagLib's C bindings and create a complete C API. The name of the project is TACCI as an acronym of TAglib's Complete C Interface. Made mainly for GTKPod, since it's tagging support is shaky and there are very few alternatives.
TEA is a Qt4-based C++ App which analyses and helps you evaluate bicycle routes for which you have a .tea log.
TappedAudio is an audio library with an emphasis on the programming interface -- agnostic to the backend, written in highly-encapsulated C++ and using SWIG to present a unified API for C++, Python, Ruby, etc., regardless of the underlying audio platform.
TeX Alive is a command-line tool for processing Tex/LaTeX documents on a remote server from the client's command line. This makes a complete TeX setup (like TeXLive) available for just a few kilobytes on the client machine.
Telephonik is a multi-protocol Internet telephony application (i.e. VoIP softphone) for the K Desktop Environment.
TempoPHP is a lightweight and feature rich PHP template system that relies on PHP for its template syntax, eliminating bulky proprietary tags.
An easy-to-use and powerful 3D Rendering engine based on the OpenGL API
The Dynamo Kernel Project intends to create a functional yet modular, powerful yet scalable microkernel for home, business and industry.
An Open Source 3D Fractal Worlds Generator.
The Free DAM is a free Digital Asset Management System that is focused on providing a free solution for users that want to have a system to store, organize and access their various digital assets including home videos, photo's, songs etc..
This project is set up for many programming projects to be started, but most likely never finished. This project will be used mostly to use the SVN Server, and to gain experience working with SVN with a variety of programming languages.
Keyscheme is a new expository Scheme Environment. It seamlessly integrates syntax checked XML style documentation within an R5RS Scheme source file. The XHTML markup is inclusive of anchor entities, which allow for rich hypertext Scheme documents.
The MiniSplat Project provides a modular suite of libraries (LGPL), applications (GPL), and integration solutions for developing, deploying, and delivering Video and Voice over IP. Our SplatSIP application provides a secure SIP User Agent (with video).
Mira is a new programming language with a C like syntax. It borrows heavily from other poplar languages and has the design goals of intuitiveness,compiler extensibility, practical functional programming and great tool support.
An attempt at a Xanalogical Web, comprised of a CGI system with both native and HTML interfaces, a set of standards, a backend supporting Transclusion, versioning, and a custom browser with support for Transpointing and editing.