Simple Project List Software Map

52474 projects in result set
Última Atualização: 2003-06-18 00:50


JCalc is a Java applet that functions as an
expression calculator. It can handle trig
functions along with various other specialty
functions. The calculator is based on an Equation
class that implements an expression lexer/parser
such that it could be removed and used in another

(Machine Translation)
Última Atualização: 2007-10-15 14:43

Logic Reasoner

Logic Reasoner is a theorem prover for first-order
logic with equality. The main objective leading
the development of Logic Reasoner has been the
creation of a flexible architecture: in
particular, the program has been designed as a
generic infrastructure for theorem proving, which
forms the basis for a collection of specific
proving techniques. These techniques can be easily
combined or replaced to create configurations with
different properties.

(Machine Translation)
Última Atualização: 2001-01-30 06:14

Textmode Quake

Textmode Quake (ttyquake) exactly what it sounds like, the classic game quake, played in textmode. Works in VTs, as, xterms (or some other variant) in X, and even telnet.

(Machine Translation)
Última Atualização: 2013-11-17 23:30


RioFS is a userspace filesystem for Amazon S3 buckets that runs on Linux and Mac OS X. It supports versioned and non-versioned buckets in all AWS regions. RioFS is intended as a storage backend for legacy daemons that cannot talk natively to S3. It handles buckets with many thousands of keys and highly concurrent access gracefully.

(Machine Translation)
Sistema Operacional: MacOSX, Linux
Linguagem de Programação: C