Search Results for "assistant"

In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from...

Visual Assistant Shell, is yet another visual shell with main idea not hide unix command line from user but increases speed of system responce; Vash runs as a supershell over /bin/sh (bash) providing a set of tools such as command line editor, arguments substitution, parameterized histoty, hotkey scripting, etc.

This project is an assistant for developers wanting to use one of Lua 5.1, 5.2, 5.3 and/or 5.4, together with the PUC-Rio Tecgraf scientific/technical toolkit projects, on a range of GNU/Linux distributions. The Tecgraf projects are hosted on SourceForge: "im" (Image Manipulation) <https://sourceforge.net/projects/imtoolkit/> "cd" (Canvas Draw) <https://sourceforge.net/projects/canvasdraw/> "iup" (Toolkit for GUIs) <https://sourceforge.net/projects/iup/> Lua also...

... by companies in China. TCPCopy has little influence on the production system except occupying additional CPU, memory and bandwidth. Moreover, the reproduced workload is similar to the production workload in request diversity, network latency and resource occupation. TCPCopy consists of two parts, TCPCopy and intercept. While TCPCopyruns on the online server and captures the online requests, intercept runs on the assistant server and does some assistant work, such as passing response info to TCPCopy.

We've taken a bold new step to not just give you a browser to not just enble you to explore the web but own it. It helps you interact with the web in a new way, inspiring and spawning your creativity

The Debug Assistant Library (DAL) is an assistant library for debugging, across platforms with uniform interface.

We define a simulant or (a bioinformant) as a software agent which serves as an assistant for a scientist. Simulants/Bioinformants will help scientists to manage, process and analyze their data, based on knowledge specific to the context and the domai

Meteorologists use the FPA to create a series of weather charts, known as depictions, that show weather fields over a sequence of times. The weather fields can contain grid point data or sets of areas, lines or scattered points. The weather depictions are not just graphical displays, but windows into an object database. By connecting processes to the database, forecast offices can automatically generate forecast products or run local models, while spending more of their time on weather...

gdpa stands for Gestural Desktop Pager Assistant. Press <Control>+<Button1> (for instance), then move your mouse up/down to navigate to next/previous desktop, or left/right to navigate through windows of the current desktop.

ARA is an automated scheduler for universities (Assistent RAspisanij). It is cross-platform, free and open source.

Hyenae is a highly flexible platform independent network packet generator. It allows you to reproduce several MITM, DoS and DDoS attack scenarios, comes with a clusterable remote daemon and an interactive attack assistant. *** Hyenae is back *** Hyenae will be continued here: https://sourceforge.net/p/hyenae-ng

CBA is a information service which supports and simplifies organising conferences especially focusing on netwoking and expert-finding for participants.

Gnome/GTK animated floating face, always on top/on all desktops, voice synthesizer by espeak (by system() call, not libs), STDIN text entry, in reply to: http://gul.uc3m.es/pipermail/gul/2010-July/012630.html. Kinda office-assistant - for gnome.

scientists little assistant for units converts and calculates units

Software for tethered shooting using Pentax DSLRs, providing the functions from Pentax Remote Assistant to Linux users.

Designed to conjugate Quenya words to their various grammatical forms. It is intended to assist in learning of J.R.R. Tolkien's constructed language, and is not intended to abridge the works of the late professor.

Poker odds calculator assistant for playing online poker for Linux. It reads the current cards from the poker client window, and displays odds, cards, beater hands, etc. Currently tested and works with Wine/PokerStars.exe on Fedora 9.

A software assistant for manual stereo photo metrology, allowing the generation of 3D digital data (x,y,z) of objects of interest in stereo photos. 3D data can be used in CAD or other applications.

Gentee is a friendly full-scale and free programming language. It is easy-to-master and can be a reliable assistant in your everyday work. Software developers can easily use it in their applications.

FreeAC is a free (as in freedom) implementation of the IBM Assistant software. It allow to create, modify and remove records from the current table's database, create new tables in few seconds and in any moment easily and without have to read any manual

Tools for working with Metamath proof databases. This project is a fork of Norm Megill's Proof Assistant, which you can find at http://us.metamath.org/ .

The ORTHOEPIKON toolbox to build reading-aloud assistants HAS MOVED. we are no longer developing in SourceForge. The project is now in Gna!. Please visit us there: http://home.gna.org/orthoepikon.

Gaim Assistant is a plugin to Gaim that will allow you to forward messages to a different screen name should you become away. It's quite handy for those of you out there that use AIM over mobile devices as well as at home.

Mp3 Tag Assistant for Unix that complete mp3tag with existent information and freedb.org database.

slacker is a slackware pkgtool package management assistant. It was primarily designed to allow you to automatically keep your system up to date by periodically checking the 'patches' directory on the slackware ftp site for your installed version.