Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.893.769 Times

strid 0.1.0

Company: smimram
Date Added: September 15, 2013  |  Visits: 184

strid

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 downloads)



strid is a tool to generate string diagrams for inclusion in LaTeX documents. These diagrams are often used in category theory as a convenient way to represent 2-cells in 2-categories. It has a syntax which is inspired of Xy-matrix (but dual diagrams are generated). It is written in OCaml and freely distributed under the GPL license.

Requirements: No special requirements
Platforms: *nix, Linux
Keyword: Categories Distributed Generated Inspired License Syntax Written Xymatrix
Users rating: 0/10

License: Freeware Size: 194.56 KB
USER REVIEWS
More Reviews or Write Review


STRID RELATED
Text Management  -  Distributed Proofreaders 1.0
Distributed Proofreaders is a website written in PHP with some PERL and backed by a mySQL database and is intended to ease the process of converting Public Domain books and other printed materials into e-texts. Distributed Proofreaders provides a...
 
Utilities  -  Optical Device Manipulator 0.4
ODMan (Optical Device Manipulator) is a free (under the GPL license) application written in C for the GNU/Linux operating system that uses specific commands known as IOCTLs to control, manipulate and to return useful informations about optical...
61.44 KB  
File Sharing  -  Distributed FTP 2.0.5
Distributed FTP is a distributed FTP daemon written in java. Instead of usual and well-known servers client transfer it uses master client for control connections and slave client for (most) data transfers, the master must tell the slave to...
358.4 KB  
Miscellaneous Communications Tools  -  pop3check 0.100.3
pop3check is a small, fast, configurable, console based pop3 mail checker.It is written in C and aims to be very configurable and fast.pop3check is distributed under the GNU General Public License (GPL). Features ...
10.24 KB  
Project Management  -  GWhere 0.2.3
GWhere allows you to manage a catalog of your CDs and any other removable media (such as hard disks, floppy disks, Zip disks, CD-ROMs, etc...) indexed in a database. With GWhere it is easy to browse your CDs or to make a quick search without...
1.26 MB  
Libraries  -  Syntax::Highlight::Engine::Kate::Java 0.02
Syntax::Highlight::Engine::Kate::Java is a Perl plugin for Java syntax highlighting. SYNOPSIS require Syntax::Highlight::Engine::Kate::Java; my $sh = new Syntax::Highlight::Engine::Kate::Java([ ]); Syntax::Highlight::Engine::Kate::Java is...
348.16 KB  
Libraries  -  Syntax::Highlight::Engine::Kate::C 0.01
Syntax::Highlight::Engine::Kate::C is a plugin for C syntax highlighting. SYNOPSIS require Syntax::Highlight::Engine::Kate::C; my $sh = new Syntax::Highlight::Engine::Kate::C([ ]); Syntax::Highlight::Engine::Kate::C is a plugin module that...
256 KB  
Utilities  -  xbgm 0.9.1.0
XBGM# is a free Xbox Game Manager available as Open Source software and contributions are encouraged. It is a game manager for Xbox using Avalaunch and UnleashX dashboard features. It allow you to send (extract) xdvdfs (xbox...
655.36 KB  
Utilities  -  jHepWork 1.3
jHepWork is a full-featured multiplatform data-analysis framework written in JAVA..
14 MB  
Web Hosting  -  DtCSS R27
DtCSS is a PHP script that preprocesses your CSS file. It speeds up CSS coding by extending the features to CSS. Such as nested selectors, color mixing and more. DtCSS reads the CSS file with special syntax written for DtCSS, and outputs the...
10 KB  
NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Development Editors  -  KMood 0.30
kmood is a tool for KDE which lets the user to select his current mood. Moods canbe propagated between users on different machines using KDE.
389.12 KB  
Development Editors  -  VRVis 1.0a1
VRVis is a programmer's toolkit for rapid development of Virtual Reality applications in the field of geospatial data visualization. It is based on VR Juggler and therefore (theoretically) independent of the displaying VR platform. As an interface...
92.16 KB  
Development Editors  -  W Windows System 1.4.9
W Windows System is a compact-sized and speedy windows system.It is currently used in Yopy, the Linux PDA.Hope with this project that it evolves into one of standard systems for handheld devices.
1.08 MB  
Development Editors  -  Fnokii 0.0.3
Fnokii is a simple file transfer Gtk+ GUI for gnokii. It supports upload, download and delete files in well-known mobile phone folders.
10.24 KB  
Development Editors  -  codive 20100417
codive is a software for programmers and administrators. The basic idea is to combine a file browser and an editor into a 3D-space. This should allow us to look at code "from a distance", thus keep a better orientation, and accelerate our work.
1.45 MB