RSS 48 projects tagged "Linux"

No download No website Updated 15 Apr 2014 llpp

Screenshot
Pop 111.82
Vit 82.46

llpp is a MuPDF-based PDF pager.

No download Website Updated 03 Apr 2014 Capstone

Screenshot
Pop 130.03
Vit 2.50

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.

Download Website Updated 20 Jan 2014 Zero Install Injector

Screenshot
Pop 1,073.51
Vit 52.77

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 21 Oct 2013 libguestfs

Screenshot
Pop 192.47
Vit 12.37

libguestfs is a set of tools for accessing and modifying virtual machine (VM) disk images. You can use this for viewing and editing files inside guests, scripting changes to VMs, monitoring disk used/free statistics, P2V, V2V, performing partial backups, cloning VMs, and much more. libguestfs can access nearly any type of filesystem including: all known types of Linux filesystem (ext2/3/4, XFS, btrfs, etc.), any Windows filesystem (VFAT and NTFS), any Mac OS X and BSD filesystems, LVM2 volumes, MBR and GPT disk partitions, raw disks, qcow2, CD and DVD ISO images, SD cards, and dozens more. libguestfs doesn't need root permissions.

No download Website Updated 19 Jun 2013 Continuation Passing C

Screenshot
Pop 57.48
Vit 4.11

CPC (Continuation Passing C) is a programming language designed for writing concurrent systems. The CPC programmer manipulates very lightweight threads, choosing whether they should be cooperatively or preemptively scheduled at any given point; the CPC program is then processed by the CPC translator, which produces highly efficient event-loop code. This approach gives the best both worlds: the relative convenience of programming with threads, and the low memory usage of event-loop code. The semantics of CPC is defined as a source-to-source translation from CPC into plain C using a technique known as conversion into Continuation Passing Style. The current implementation of CPC has been used to write Hekate, a BitTorrent seeder designed to handle millions of simultaneous torrents and tens of thousands of simultaneously connected peers.

Download Website Updated 01 Feb 2013 brightmare

Screenshot
Pop 41.90
Vit 4.35

BrightMaRe is a tool that translates LaTeX equations to ASCII/UTF-8 text.

No download Website Updated 04 Oct 2012 Frama-C

Screenshot
Pop 99.30
Vit 5.05

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 12 Jun 2012 Opa

Screenshot
Pop 69.64
Vit 3.61

Opa is a web development platform. It comprises a programming language, a Web server, a database, and a distributed execution engine. All of these are tightly integrated.

Download Website Updated 16 May 2012 MLdonkey

Screenshot
Pop 266.53
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 No website Updated 01 Oct 2010 pfff_visual

Screenshot
Pop 34.50
Vit 1.00

pfff_visual is a fancy code visualizer using treemaps and source code thumbnails rendered through Cairo. It leverages static analysis of the code to give semantic feedback visually, which can help you understand the architecture of a project. Pfff_visual uses the pfff infrastructure, which is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code. For now, the effort is focused on PHP but there is preliminary support for JavaScript, C, C++, Java, SQL, and even TeX. There is also preliminary support for OCaml code so that the infrastructure can be used on the code of pfff itself.

Screenshot

Project Spotlight

Galois

A falling blocks game with many different geometries.

Screenshot

Project Spotlight

Lernstick Personal Learning Environment

A Live Linux distribution with a focus on education.