Showing page 3 of 33.

• 
  The traditional vi

  The traditional vi editor, ported to modern Unix systems.

  46 weekly downloads
• 
  Expect-lite

  Expect-lite is an quick and easy command line automation tool. Basic expect-lite scripts can be created by simply cutting and pasting text from a terminal window into a script, and adding '>' '<' characters. No knowledge of expect is required!

  24 weekly downloads
• 
  HOL theorem-proving system

  HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.

  43 weekly downloads
• 
  Cryopid2

  Cryopid2 is a development of the excellent Cyropid process freezer for Linux developed initially by Bernard Blackham. Cryopid2 adds a host of functionality to the original package.

  12 weekly downloads
• 
  Topographica

  Simulation software for brain modelling

  41 weekly downloads
• 
  The Sandbox Libraries

  The sandbox libraries (libsandbox & pysandbox) are an open-source suite of software components for C/C++ and Python developers to create automated profiling tools and watchdog programs. The API's are designed for executing and instrumenting simple (single process) tasks, featuring policy-based behavioral auditing, resource quota, and statistics collecting. The sandbox libraries were originally designed and utilized as the core security module of a full-fledged online judge system for ACM/ICPC training. They have since then evolved into a general-purpose tool for binary program testing, profiling, and security restriction. The sandbox libraries are currently maintained by the OpenJudge Alliance (http://openjudge.net/) as a standalone, open-source project to facilitate various assignment grading solutions for IT/CS education. See author's homepage at http://openjudge.net/~liuyu/Project/LibSandbox for details.

  37 weekly downloads
• 
  Tellu inventory management

  Tellu inventory management software collects hardware/software data automatically from network, and stores data in MySQL database. Data is easily accessed by comprehensive UI, which can be also used to store devices, services, passwords, files, etc.

  35 weekly downloads
• 
  despotify

  A free, open source Spotify-compatible client

  8 weekly downloads
• 
  HPGL

  WARNING! HPGL source code (NOT the releases, they are still here) now moved to the GitHub at https://github.com/hpgl/hpgl. Please, update your bookmarks!

  12 weekly downloads
• 
  4BSD for the Digital VAX

  Providing an easy to use platform for running Ancient UNIX & BSD on windows.

  18 weekly downloads
• 
  General Graphics Interface

  GGI stands for "General Graphics Interface", and it is a project that aims to develop a reliable, stable and fast graphics system that works everywhere. We want to allow any program using GGI to run on any platform requiring at most a recompile.

  31 weekly downloads
• 
  Relational DataScript

  DataScript is a formal language for modelling binary datatypes, bitstreams or file formats. This project provides a parser and code generator for generating Java codec classes from a DataScript specification.

  31 weekly downloads
• 
  OpenAxiom: Scientific Computation System

  A system for computer algebra and symbolic mathematics

  29 weekly downloads
• 
  PASA

  The Program to Assemble Spliced Alignments (PASA) is used to automatically incorporate ESTs and full-length cDNAs into gene structure annotations, in the process annotating UTRs, alternative splicing variations, and polyadenylation sites.

  28 weekly downloads
• 
  Perl Portable

  Perl Portable is the amazingly powerful Perl Scripting language made into a portable application for Windows (To PortableApps.com standards. :D)

  27 weekly downloads
• 
  Vascular Modeling Toolkit

  Libraries and tools for 3D reconstruction, geometric analysis, mesh generation and surface data analysis in image-based blood vessel modeling.

  24 weekly downloads
• 
  basE91

  basE91 is an advanced method for encoding binary data as ASCII characters. It is similar to UUencode or base64, but is more efficient. The overhead produced by basE91 depends on the input data. It amounts at most to 23% and can range down to 14%.

  24 weekly downloads
• 
  omr

  This is a program/framework written in C with embebbed tcl, capable of doing Optical Mark Recognition, of scanned forms. The new repository is at: http://fideo.no-ip.info/cgi-bin/viewcvs.cgi/omr/

  23 weekly downloads
• 
  wget

  wget for something for Linux and Stuffs

  23 weekly downloads
• 
  Pysces

  PySCeS is the Python Simulator of Cellular Systems. For a network of coupled reactions it does a stoichiometric matrix analysis, calculates the time course and steady state, and does a complete control analysis.

  8 weekly downloads
• 
  Nifty Sim

  Nifty Sim is a high-performance nonlinear finite element solver, developed at University College London. A key feature is the option of GPU-based execution, which allows the solver to significantly out-perform equivalent commercial packages.

  12 weekly downloads
• 
  Backup Monitor

  RSYNC Backup front-end with Web Interface, email reports with attached summary. Simple to use; back up servers with a single line, or your entire server farm from a single machine. Custom email tags sort responses in your MUA. Supports authentication.

  20 weekly downloads
• 
  OpenGROW

  An open-source project to develop a plant generation tool.

  7 weekly downloads
• 
  Algorithmic Trading

  Algorithmic Trading implementation

  11 weekly downloads
• 
  MusicPlayer

  Music player - endlessly plays your music

  19 weekly downloads

• Back
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• Next