Ports 搜索

MimeTeX, licensed under the GPL, lets you easily embed LaTeX math in your html pages. It parses a LaTeX math expression and immediately emits the corresponding gif image, rather than the usual TeX dvi. And mimeTeX is an entirely separate little program that doesn't use TeX or its fonts in any way. It's just one cgi that you put in your site's cgi-bin/ directory, with no other dependencies. It's easy to use. Just place an html <img> tag in your document wherever you want to see the corresponding LaTeX expression.

Doulos SIL is a Unicode-based font family that attempts to provide a comprehensive inventory of glyphs needed for almost any Roman- or Cyrillic-based writing system, whether used for phonetic or orthographic needs. In addition, there is provision for other characters and symbols useful to linguists. This font makes use of state-of-the-art font technologies to support complex typographic issues, such as the need to position arbitrary combinations of base glyphs and diacritics optimally. Doulos is very similar to Times/Times New Roman, but only has a single face- regular. It is intended for use alongside other Times-like fonts where a range of styles (italic, bold) are not needed.

This gem is a C binding to the excellent YAJL JSON parsing and generation library. Features: * JSON parsing and encoding directly to and from an IO stream (file, socket, etc) or String. Compressed stream parsing and encoding supported for Bzip2, Gzip and Deflate. * Parse and encode multiple JSON objects to and from streams or strings continuously. * JSON gem compatibility API - allows yajl-ruby to be used as a drop-in replacement for the JSON gem * Basic HTTP client (only GET requests supported for now) which parses JSON directly off the response body *as it's being received* * ~3.5x faster than JSON.generate * ~1.9x faster than JSON.parse * ~4.5x faster than YAML.load * ~377.5x faster than YAML.dump * ~1.5x faster than Marshal.load * ~2x faster than Marshal.dump

trivial-features ensures consistent *FEATURES* across multiple Common Lisp implementations. For example, on MacOS X platforms, while most Lisps push :DARWIN to *FEATURES*, CLISP and Allegro push :MACOS and :MACOSX instead, respectively. Some Lisps might not push any feature suggesting MacOS X at all. trivial-features will make sure all Lisps will have :DARWIN in the *FEATURES* list when running on MacOS X. This package is compiled with SBCL.

The Common Lisp HyperSpec (TM) from LispWorks Ltd. This is an HTML document derived from the ANSI Common Lisp standard (X3.226-1994), with permission from ANSI and NCITS (previously known as X3). The Common Lisp HyperSpec was prepared by Kent Pitman at Harlequin, who as Project Editor of X3J13 managed the completion of the document which became the ANSI Common Lisp Standard. Copying, distribution, display, and/or transmission is by permission of LispWorks Ltd.

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. Alt-Ergo is compact, safe, and modular. Each component is described by a small set of inference rules and is implemented as an Ocaml functor.

pixilate parses an input file containing Cisco PIX 6.2x (normal mask) or Cisco IOS (inverted mask) access-list entries and generates the appropriate packets. For further information on writing PIX access-lists, look here, for information on writing IOS access-lists, look here. pixilate - is currently capable of generating TCP/UDP/ICMP (various ICMP types), and IGMP utilizing the Libnet 1.1.x library available from http://www.packetfactory.net. NOTE: Libnet 1.0.x is NOT compatible."

Based on the work of rdesktop, xrdp uses the remote desktop protocol to present a GUI to the user. The goal of this project is to provide a fully functional Linux terminal server, capable of accepting connections from rdesktop and Microsoft's own terminal server / remote desktop clients. Unlike Windows NT/2000/2003 server, xrdp will not display a Windows desktop but an X window desktop to the user. Xrdp uses Xvnc or X11rdp to manage the X session.

Based on the work of rdesktop, xrdp uses the remote desktop protocol to present a GUI to the user. The goal of this project is to provide a fully functional Linux terminal server, capable of accepting connections from rdesktop and Microsoft's own terminal server / remote desktop clients. Unlike Windows NT/2000/2003 server, xrdp will not display a Windows desktop but an X window desktop to the user. Xrdp uses Xvnc or X11rdp to manage the X session.

This tool removes blocks of 0x00 from files by replacing them with phantomblocks. That way, a file uses less diskspace while its contents hasn't changed at all! BEWARE: after copying these files with tar, cp, cpio or any other tool, the phantomblocks have been replaced with 0x00-blocks again! EXAMPLE: find / -type f -print | xargs -n 1 phantom -r -i This would go trough the whole harddisk, scan all files and generate 0x00-blocks where necessary.