Showing page 1 of 1.

• 
  GlobalPlatform

  Implementation of GlobalPlatform smart card specification

  108 weekly downloads
• 
  GNU Prolog

  The GNU Prolog native compiler

  59 weekly downloads
• 
  mulk

  Multi-connection command line tool to download Internet sites. Similar to wget and cURL, but it manages up to 50 parallel links. Main features are: recursive fetching, Metalink retrieving, segmented download and image filtering by width and height.

  17 weekly downloads
• 
  ProofReading Markup Language

  ProofReading Markup Language for transmission of corrections

  5 weekly downloads
• 
  BioModels Database

  BioModels Database is a data resource that allows biologists to store, search and retrieve published mathematical models of biological interests. Models presented are annotated and linked to relevant data resources and are available in various format

  1 weekly downloads
• 
  ivl

  A C++ template library extending syntax towards mathematical notation

  1 weekly downloads
• 
  CollabEd: Collaborative Editing Plugins

  A collaboration platform that enables non-locking, synchronous, real-time collaborative (NOT text only) editing with editor independence. It also provides edit by edit session playback. To collaborate just enter a name, group and password.

  1 weekly downloads