RSS 18 projects tagged "Windows"

Download Website Updated 03 Feb 2004 Polygen

Screenshot
Pop 27.02
Vit 61.03

PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules. Formally, it is an interpreter of a language itself designed to define languages, where to interpret means executing a source program in real time and eventually outputting its result. Here, a source program is a grammar definition. The execution consists of the exploration of such grammar by selecting a random path, and the result is the sentence built on the way.

Download Website Updated 20 Jan 2014 Zero Install Injector

Screenshot
Pop 1,072.66
Vit 53.07

Zero Install is a decentralized cross-distribution software installation system. It allows software developers to publish programs directly from their own Web sites, while supporting features familiar from centralized distribution repositories such as shared libraries, automatic updates, and digital signatures. It is intended to complement, rather than replace, the operating system's package management. 0install packages never interfere with those provided by the distribution.

Download Website Updated 16 May 2012 MLdonkey

Screenshot
Pop 265.63
Vit 12.84

MLdonkey is a multi-platform, multi-network peer-to-peer client. It supports several large networks such as eDonkey, Overnet, Kademlia, Bittorrent, Gnutella (Bearshare, Limewire, etc.), Gnutella2 (Shareaza), or Fasttrack (Kazaa, Imesh, Grobster). Networks can be enabled or disabled. Searches are performed in parallel on all enabled networks. For some networks, each file can be downloaded from multiple clients concurrently.

Download Website Updated 13 Jan 2008 SRESI

Screenshot
Pop 74.07
Vit 9.83

SRESI is a smart bookmark manager. It currently sports both a command-line and a PHP interface. It works with both the standard hierarchical trees and the new and fashionable tagged bookmarks. It was developed as a way to interface both representation systems. SRESI can use Del.icio.us, Mozilla, Opera, and XBEL bookmarks, and handles a few more exports besides. Directories and tags are used equivalently, and the final hierarchies are inferred from actual tag use.

No download Website Updated 04 Oct 2012 Frama-C

Screenshot
Pop 99.40
Vit 5.06

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.

Download Website Updated 08 Aug 2007 OMake

Screenshot
Pop 232.78
Vit 4.32

OMake is a build system and scripting language with a similar style and syntax to GNU make but with many additional features, including support for large projects spanning multiple directories, default configuration files simplifying the standard compilation tasks, fast, reliable, automated, scriptable dependency analysis using MD5 digests, built-in support for defining and running autoconfiguration tests, portability, and built-in functions that provide the most common features of programs like grep, sed, and awk. It also provides active filesystem monitoring that restarts builds automatically when source files are modified. A companion command interpreter that can be used interactively is included.

Download Website Updated 20 Jun 2007 Planets

Screenshot
Pop 81.58
Vit 4.03

Planets is a fun, interactive program for many-body gravity simulations. The emphasis is on play: it's easy to add in planets, zoom in and out, change the physical constants, save and load configurations, etc. It's designed to be easy enough for a kid to enjoy, but that hardly precludes adults.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 39.00
Vit 3.60

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Download Website Updated 10 Oct 2006 demexp

Screenshot
Pop 34.81
Vit 2.91

demexp is a client/server system for direct democracies. It makes it possible to ask questions in the system, add new answers to those questions, and vote on proposed answers. The voting procedure used is Condorcet voting. Questions are classified, and a delegation system allows one's vote for certain questions to be assigned to a chosen delegate. The software is tailored to the needs of the Democratic Experience project.

No download Website Updated 03 Apr 2014 Capstone

Screenshot
Pop 129.60
Vit 2.57

Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Running on Windows, Mac OS X, Linux, FreeBSD, OpenBSD, and Solaris, it can disassemble ARM, ARM64 (ARMv8), MIPS, PPC, and x86 architectures. Capstone provides rich details about disassembled instructions along with useful semantic information.

Screenshot

Project Spotlight

Free Help Desk

A Web-based help desk system.

Screenshot

Project Spotlight

stream

A Dart Web server.