Search Results for "there is no way to"

tqdm is a fast, extensible progress bar for Python and CLI that enables you to see the progress of your loops in a clear and smart way. Simply wrap any iterable with tqdm(iterable), and sit back and watch that progress meter go! tqdm can be wrapped around any iterable, or executed as a module with pipes. Just by inserting tqdm (or python -m tqdm) between pipes will pass through all stdin to stdout while printing progress to stderr. tqdm does not require any dependencies, has a very low...

... is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. Lua bindings based on LGI are already provided out of the box. The adg-lua project, downloadable from the "Files" section, provides Lua programs and demos that leverages these bindings.

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

XMLStarlet is a set of command line utilities (tools) to transform, query, validate, and edit XML documents and files using simple set of shell commands in similar way it is done for text files with UNIX grep, sed, awk, diff, patch, join, etc utilities.

DEEEP is a open source static analysis tool to detect, in C programs, integer vulnerabilities caused by the bad adaption of aplications from ILP32 to LP64. It uses the tools Lint and Splint, and runs over Open Solaris and Linux operating systems. This tool semantically analyses source code. More precisely, it does type checking, data-flow analysis, and it automatically correlates the results of these two types of analysis. Type checking is used for finding bugs on the way integers...

JWare/AntXtras is a powerful extension Ant library as well as a collection of useful Ant components. The current active AntXtras projects include "AntXtras", "Log4Ant", and "Svn4Ant".

Subbarna is the new web-graphical way to admin Subversion. You can admin your repositoroies (create, modify, delete, add/remove users, etc...) by a simple web interface.

A graphical display of a keyboard, showing all keyboard shortcuts when modifiers (i.e. Control) are pressed. If a combination is pressed, documentation for that command is shown. A user-friendly way to display many keyboard shortcuts. Data in JSON.

Machine learning toolkit for unsupervised and semi-supervised clustering that demonstrates excellent results on real-world data (see Bekkerman et al. ICML-2005 and ECML-2006).

YarloX is an application that allows the developers to register in organized way all the alterations made in its releases/builds. YarloX uses jasperreports, apache commons and others technologies.

Set of tools and libs for managing structured data in a very flexible way: Imp./Exp. ASCII, XML, SQL, PS, Tex/LaTex, RTF GUI: X-Windows, MS-Windows Interface to C++, DBs, Perl, PHP, Java, TCP/IP LISP-like interpreter written in C++ using C-LIB

The Spring-Validator package provides a simple way to auto-generate JavaScript client side validate code and provides a common validator for SimpleFormController

KChangeLogEditor is the easiest way to maintain your project ChangeLog in a simple way. You can export your ChangeLog to text, html or even xml formats.

Plugin for the Eclipse platform that allows various means of introspection into the internals of the platform at runtime. This plugin reveals the way the platform components are composed and how they work together.

Onaima is a Wiki Clone intended for storytelling - from geneological histories to process definitions - and to facilitate my own path to the Wiki way. Grafted from Dolphin Wiki, with constant refactoring.

CAST is a Collaborative Applications Specification Tool. It's aimed to permit a user to specify the coupling of cooperatives applications in a transparent way, using the Corba technology (MICO ORB). It's an integration plateforme for distributed and/or pa

Platform independant way of logging information to the platform's logging service. So far I have JLogger working for Solaris, Linux, and Windows NT.