Ports 搜索

TEA is powerful text editor for Unix-like systems. It depends on Qt4 and, optionally, GNU Aspell or Hunspell. With an ultimately small size, TEA provides hundreds of functions. Some of the features include: - Built-in MC-like file manager (with support for archived files) - Spellchecker (using the Aspell or/and Hunspell) - Tabbed layout engine - Syntax highlighting for C, C++, shell, C#, Fortran, Java, LilyPond, Lua, NASM, NSIS, Pascal, Perl, PHP, PO (gettext), Seed7, TeX/LaTeX, Vala, Verilog, XML, HTML, XHTML, etc. - Multiple encodings support, hotkeys customizations, bookmarks, Morse code generator, screenshot utility, calendar with organizer - Code snippets, sessions, and templates support - Miscellaneous HTML tools; preview in external browsers - Wikipedia, DocBook, LaTeX, Lout editing support - String-handling functions such as sorting, reverse, format killing, trimming, filtering, conversions, etc. - Drag'n'drop support (with text files and pictures) - Built-in image viewer (PNG, JPEG, GIF, WBMP, BMP, SVG, TIFF, TGA, etc.), converter, and resizer

Coco/R combines the functionality of the well-known UNIX tools lex and yacc, to form an extremely easy to use compiler generator that generates recursive descent parsers, their associated scanners, and (in some versions) a driver program, from attributed grammars (written using EBNF syntax with attributes and semantic actions) which conform to the restrictions imposed by LL(1) parsing (rather than LALR parsing, as allowed by yacc). The user has to add modules for symbol table handling, optimization, and code generation in order to get a running compiler. Coco/R can also be used to construct other syntax-based applications that have less of a "compiler" flavour. Coco/R is available in Oberon, Modula-2, Pascal, Delphi, C, Java and C# versions. This port only builds the C/C++ version.

Seed7 is an extensible general purpose programming language designed by Thomas Mertes. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Although Seed7 contains several concepts from other programming languages, it is generally not considered a direct descendant of any other programming language. Major features include: - user defined statements and operators, - abstract data types, - templates without special syntax, - OO with interfaces and multiple dispatch, - statically typed, - interpreted or compiled, - portable, - runs under Linux/Unix/Windows.

The Visualization Toolkit (VTK) is an open-source, freely available software system for 3D computer graphics, image processing and visualization. VTK consists of a C++ class library and several interpreted interface layers including Tcl/Tk, Java, and Python. Kitware, whose team created and continues to extend the toolkit, offers professional support and consulting services for VTK. VTK supports a wide variety of visualization algorithms including: scalar, vector, tensor, texture, and volumetric methods; and advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation. VTK has an extensive information visualization framework, has a suite of 3D interaction widgets, supports parallel processing, and integrates with various databases on GUI toolkits such as Qt and Tk.

STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. STP has been used in many research projects at Stanford, Berkeley, MIT, CMU and other universities. It is also being used at many companies such as NVIDIA, some startup companies, and by certain government agencies. The input to STP are formulas over the theory of bit-vectors and arrays (This theory captures most expressions from languages like C/C++/Java and Verilog), and the output of STP is a single bit of information that indicates whether the formula is satisfiable or not. If the input is satisfiable, then it also generates a variable assignment to satisfy the input formula.

The Visualization Toolkit (VTK) is an open-source, freely available software system for 3D computer graphics, image processing and visualization. VTK consists of a C++ class library and several interpreted interface layers including Tcl/Tk, Java, and Python. Kitware, whose team created and continues to extend the toolkit, offers professional support and consulting services for VTK. VTK supports a wide variety of visualization algorithms including: scalar, vector, tensor, texture, and volumetric methods; and advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation. VTK has an extensive information visualization framework, has a suite of 3D interaction widgets, supports parallel processing, and integrates with various databases on GUI toolkits such as Qt and Tk.

PySimpleSOAP (Python Simple SOAP) library for client and server webservices interfaces, aimed to be as small and easy as possible, supporting most common functionality. Initially it was inspired by PHP Soap Extension (mimicking it functionality, simplicity and ease of use), with many advanced features added. Goals: - Simple: less than 200LOC client/server concrete implementation for easy maintainability and enhancments. - Flexible: adapted to several SOAP dialects (Java Axis, .Net, JBoss), with the posibility of fine-tuning XML request and responses - Pythonic: no artifacts, no class generation, no special types, RPC calls parameters and return values are simple python structures (dicts, list, etc.) - Dynamic: no definition (WSDL) required, dynamic generation and parsing supported (cached in a pickle file for performance, supporting fixing broken WSDL) - Easy: simple xml manipulation, including basic serialization and raw object-like access to SOAP messages - Extensible: supports several HTTP wrappers (httplib2, pycurl, urllib2) for special transport needs over SSL and proxy (ISA)

Bomstrip is a very simple tool that removes BOM's (byte-order-marks) from utf-8 files. Actually, it is a set of tools that all do the same thing, but - for added entertainment value - in multiple programming languages (python, c, java, brainfuck, ook!, perl, sed, postscript, pascal, unlambda, limbo, haskell, ocaml, php, ruby). You want to always have this tool within hand-reach, no matter where you are and which compilers/interpreters you keep close to you. Each tool reads from stdin and writes to stdout. It accepts no options or arguments. It never writes into files directly. All files are public domain. It exists for the purpose of noting how stupid BOM's in utf-8 files are. Oh, in case you didn't know yet: utf-8 does not have byte-ordering issues, so there is absolutely no need to have three bytes (the utf-8-BOM) that do not say anything about the byte-order (since there is nothing to say).

Emacs major mode for editing XSL stylesheets. * FEATURES - XSL customization group for setting some variables - Initial stylesheet inserted into empty XSL buffers; - "Template" menu for jumping to template rules, named templates, key declarations, and attribute-set declarations in the buffer; - `xsl-process' function that runs an XSL processor and collects the output; - Predefined command line templates and error regexps for Java and Windows executable versions of both XT and Saxon; - Font lock highlighting so that the important information stands out; - `xsl-complete' function for inserting element and attribute names; - `xsl-insert-tag' function for inserting matching start- and end-tags; - Automatic completion of end-tags; - Automatic indenting of elements with user-definable indentation step; and - Comprehensive abbreviations table to further ease typing.

YUI Compressor is JavaScript and CSS minificator. YUI Compressor is written in Java and relies on Rhino to tokenize the source JavaScript file. It starts by analyzing the source JavaScript file to understand how it is structured. It then prints out the token stream, omitting as many white space characters as possible, and replacing all local symbols by a 1 (or 2, or 3) letter symbol wherever such a substitution is appropriate (in the face of evil features such as eval or with, the YUI Compressor takes a defensive approach by not obfuscating any of the scopes containing the evil statement). The CSS compression algorithm uses a set of finely tuned regular expressions to compress the source CSS file. The YUI Compressor is open-source, so don't hesitate to look at the code to understand exactly how it works.