![[logo]](http://plt-scheme.org/logo.png){kind=logo} | PLT Scheme | Need Help? |
| AboutDownloadDocumentationPLaneTCommunityOutreach & Research | ||
PLaneT is PLT Scheme's centralized package distribution system. Here you will find user-contributed Scheme packages along with instructions for using them. The packages on this site are user-contributed and not part of PLT Scheme. Be aware that when you download one of them for use in your programs, you are installing software on your computer that could deliberately or accidentally harm your system. Do not require from PLaneT any packages you do not trust. For more about how to use PLaneT and for instructions on turning your own code into packages, see the PLaneT documentation (also available in your local installation). This page shows the latest versions of all available packages, sorted by category. You can be notified when new packages are added by subscribing to the RSS feed or to the PLaneT-Announce mailing list. |
| |||||||||||||
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
|---|---|---|---|---|---|
| affine-contracts.plt | (2 2) | 0.2.1 | tov | Affine contracts for one-shot functions and boxes | |
| aspectscheme.plt | (1 0) | 4.0 | dutchyn | AspectScheme -- higher-order pointcut and advice aspects for Scheme | |
| autoplanet.plt | (1 1) | 1.x | untyped | Quick configuration of PLaneT development links. | |
| benchmark.plt | (2 1) | — | schematics | A SchemeUnit extension for timing code execution times | |
| c.plt | (3 1) | 0.3 | dherman | Tools for manipulating C, including header extraction for the FFI. | |
| check-values.plt | (1 1) | 1.1 | cobbe | Macros for writing SchemeUnit tests for multi-value functions | |
| datalog.plt | (1 1) | 0.2 | jaymccarthy | An implementation of Datalog as a PLT Scheme language. | |
| delicious.plt | (1 3) | — | untyped | A client for the del.icio.us HTTP API. See http://del.icio.us/help/api/ for more information. | |
| delirium.plt | (3 0) | — | untyped | A tool for testing PLT web application user interfaces using Javascript remote control scripts and SchemeUnit test suites. | |
| dispatch.plt | (2 1) | — | untyped | A tool for configuring controller procedures and human-friendly URLs in web applications. | |
| divascheme.plt | (1 6) | 2.5 | divascheme | semi-structured programming editing for DrScheme | |
| docgen.plt | (1 0) | 20070410 | vyzo | A simple html documentation generator | |
| dracula.plt | (8 2) | — | cce | Provides the Dracula language level for ACL2 emulation. | |
| drocaml.plt | (2 0) | 2.0 | abromfie | a set of tools for using OCaml in DrScheme | |
| drsync.plt | (2 7) | 1.0.2 | grettke | DrSync is a tool that saves your files on frame deactivation and reverts them on frame activation. This tool is of particular interest to folks who run external programs like version control or build related tools on files which they are editing inside of DrScheme. | |
| fasttest.plt | (3 5) | — | cce | FastTest random test case generation. Inspired by the QuickCheck library for Haskell. | |
| idcheck.plt | (1 5) | — | untyped | Client for the IDCheck distributed authentication system, available from http://idcheck.sourceforge.net/ | |
| instaservlet.plt | (2 2) | — | untyped | Run a web application with two lines of code. Package deprecated: see the docs for more information. | |
| instaweb.plt | (4 0) | — | schematics | Automatically setup and run your servlets in the web-server | |
| internat.plt | (1 2) | 1.0 | oesterholt | Internat - an internationalization module. | |
| java-class.plt | (1 1) | — | kazzmir | Subset of mzlib's class library that mimics java's forms | |
| java.plt | (1 5) | 0.1 | dherman | A library for manipulating Java programs in both source and binary format. | |
| javascript.plt | (9 2) | 0.18 | dherman | A DrScheme language level for the JavaScript programming language. | |
| leftparen.plt | (1 3) | 1.3 | fjl | ||
| leftparen.plt | (5 1) | 0.61 | vegashacker | LeftParen lets you write web apps quickly. | |
| lift.plt | (1 0) | 1 | dherman | A control/state operator for communicated values up a continuation. | |
| log.plt | (1 0) | — | synx | Simple logging facility | |
| log4scm.plt | (1 3) | 1.0 | oesterholt | LOG4SCM - a log library. | |
| macro.plt | (1 2) | 1.2 | schematics | A library of macros that implement common patterns. | |
| mirrors.plt | (2 2) | — | untyped | Syntaxes for creating composable blocks of XML and Javascript. | |
| mrmathematica.plt | (1 2) | — | zck | MrMathematica -- Union of Mathematica and Scheme. | |
| mrmathematica.plt | (1 1) | — | chongkai | MrMathematica -- Union of Mathematica and Scheme. | |
| namespace.plt | (1 0) | 1.0 | schematics | A library of useful procedures on namespaces | |
| net-repl.plt | (1 0) | 1.0 | untyped | A networked REPL. | |
| no-brainer.plt | (1 4) | 20081125 | clements | A simple static checker that reports some local arity errors and unused bindings | |
| parameter.plt | (1 3) | — | dherman | Utilities for parameters. | |
| plai.plt | (1 3) | — | plai | Language levels for the Programming Languages: Application and Interpretation textbook | |
| port.plt | (1 3) | — | schematics | A library of functions that operate on ports. | |
| projectmgr.plt | (1 1) | 0.0.3 | spdegabrielle | ProjectsMgr saves your project state, and reloads that state on request. More projectey features expected soon. NEW Save All Tabs added on request. | |
| prometheus.plt | (1 0) | 2.0 | daedalus | The Prometheus Object System, a prototype-based object system inspired by Self | |
| redex.plt | (4 4) | — | robby | PLT Redex is a domain-specific language for expressing context-sensitive reduction semantics systems. It allows you to explore your reduction systems interactively using a GUI interface and write test cases using a scripting interface. | |
| require.plt | (1 3) | 1.3 | ryanc | Require is a library that lets one name external modules or packages and use short abbreviations for requiring those external modules or packages. In addition, it provides a single point of specification for the location and version number of the packages being used. | |
| roos.plt | (1 9) | 1.9 | oesterholt | ROOS is an OO Framework this is used with mzgtk2 and Persistent ROOS | |
| sake.plt | (1 0) | — | schematics | Sake automates building your PLT Scheme projects | |
| scheme.plt | (4 1) | — | cce | PLT Scheme programming utilities, including tools for:
| |
| schemeunit.plt | (3 4) | — | schematics | SchemeUnit is a unit testing framework based on the Extreme Programming unit test frameworks | |
| si.plt | (1 0) | 1.0 | schematics | Simple Improvement is an addition to SchemeUnit that provides feedback on the efficiency of the development process | |
| sml.plt | (1 2) | — | chongkai | This is the Standard ML language embeded in PLT Scheme. | |
| snooze.plt | (2 8) | — | untyped | An Object Relational Mapping (ORM) system from Untyped. Snooze lets you define special MzScheme structs called persistent-structs and serialize them to an SQLite or PostgreSQL database. | |
| sqlid-helper.plt | (1 0) | 1.0 | sweeney | A SQL frontend for use with hans's sqlid planet package (uses scheme friendly syntax for select statements) | |
| staapl.plt | (1 9) | 0.5.9 | zwizwa | A collection of abstractions for metaprogramming microcontrollers. | |
| static-page.plt | (1 0) | 1 | dherman | Rapid development and debugging of static web sites. | |
| string-template.plt | (1 0) | 1.0 | dyoo | simple string templates | |
| syntactic-closures.plt | (1 0) | 1 | dherman | The Bawden-Rees reference implementation of syntactic closures. | |
| syntax-browser.plt | (2 0) | 2.0 | ryanc | Obsolete: use (lib "syntax-browser.ss" "macro-debugger") instead. The syntax-browser displays lexical context and hygiene information on syntax objects using colors and highlighting. | |
| syntax-reprinter.plt | (1 0) | 1.0 | dyoo | print syntax objects, preserving lines and columns | |
| test-box-recover.plt | (1 0) | — | mflatt | Tool for v370 and later to open old programs with test-case boxes | |
| test.plt | (2 1) | 2 | dherman | Utilities for unit testing. | |
| testeez.plt | (1 3) | 0.5 | neil | Testeez: Lightweight Unit Test Mechanism for Scheme | |
| time-expand.plt | (1 0) | — | dvanhorn | This collection provides utilities for timing macro invocation and
expansion, analogous to the MzScheme utilities for collecting timing
information on procedure application and evaluation. | |
| types.plt | (2 0) | 2 | dherman | Idioms for typed-scheme. | |
| unit.plt | (4 0) | 1 | dherman | Conveniences and idioms for mzscheme units. | |
| unlib.plt | (3 15) | 3.x | untyped | Helpful utilities from Untyped. | |
| uuid-v4.plt | (1 0) | 0.3 | zitterbewegung | uuid-v4 lets you make v4 uuid's quickly. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| SPeaCAP.plt | (1 0) | 1.0 | evanfarrer | The SPeaCAP (speak up) library provides bindings for the libpcap library. | |
| bencode.plt | (1 1) | 0.2 | neil | bencode.scm: BitTorrent Bencode Decoding in Scheme | |
| blogue.plt | (1 2) | — | jaymccarthy | blogging tool like early blosxom | |
| ddeclient.plt | (1 0) | — | mato | A DDE interface to setup clients in PLT-Scheme.Supporting execute-, poke- and request-transactions.Beta state. | |
| delicious.plt | (1 3) | — | untyped | A client for the del.icio.us HTTP API. See http://del.icio.us/help/api/ for more information. | |
| delirium.plt | (3 0) | — | untyped | A tool for testing PLT web application user interfaces using Javascript remote control scripts and SchemeUnit test suites. | |
| dispatch.plt | (2 1) | — | untyped | A tool for configuring controller procedures and human-friendly URLs in web applications. | |
| flickr.plt | (1 0) | — | dvanhorn | A Scheme wrapper for the Flickr web service. | |
| geolocate.plt | (1 1) | 1.1 | oesterholt | geolocate - geographic location of ip numbers and host names | |
| growl.plt | (1 2) | 1.2 | murphy | A simple interface to the UDP protocol for Growl notifications. | |
| http.plt | (1 0) | — | synx | HTTP 1.1 Client | |
| identicons.plt | (1 1) | 1.1 | mk | Library for generating identicons from 32-bit numbers. Based on an idea by Don Park. | |
| instaservlet.plt | (2 2) | — | untyped | Run a web application with two lines of code. Package deprecated: see the docs for more information. | |
| instaweb.plt | (4 0) | — | schematics | Automatically setup and run your servlets in the web-server | |
| leftparen.plt | (5 1) | 0.61 | vegashacker | LeftParen lets you write web apps quickly. | |
| leftparen.plt | (1 3) | 1.3 | fjl | ||
| listit.plt | (1 0) | 1.0 | soegaard | An small Reddit-like web-application | |
| mail-parse.plt | (3 1) | 1.1 | spdegabrielle | Parse an email, or a stream of emails, into a simple structure | |
| mail-parse.plt | (1 0) | 0.2 | mburns | Parse an email, or a stream of emails, into a simple structure | |
| mbform.plt | (1 0) | — | jaymccarthy | Multi-button form abstraction | |
| mirrors.plt | (2 2) | — | untyped | Syntaxes for creating composable blocks of XML and Javascript. | |
| net-repl.plt | (1 0) | 1.0 | untyped | A networked REPL. | |
| network.plt | (1 0) | 1 | dherman | Network utilities, currently only available for Windows. | |
| randtok.plt | (1 0) | 0.1 | neil | randtok: Random Token String Generation | |
| resume.plt | (3 0) | — | jacobm | Gives a simple API that allows PLT Web Server servlet programmers to create user accounts that let users resume old sessions after logging in | |
| rfc3339.plt | (1 1) | 0.3 | neil | rfc3339.scm: RFC3339 Date and Time Format in Scheme | |
| socket.plt | (3 2) | 20090427 | vyzo | BSD/POSIX sockets library for mzscheme | |
| spgsql.plt | (2 3) | 5.3 | schematics | The spgsql library provides classes, datatypes, and procedures useful for connecting to a PostgreSQL database server over TCP. | |
| sql-table.plt | (1 1) | 0.1 | dfisher | Provides a persistent-table abstraction for SQL-based databases. | |
| sqlid-helper.plt | (1 0) | 1.0 | sweeney | A SQL frontend for use with hans's sqlid planet package (uses scheme friendly syntax for select statements) | |
| static-page.plt | (1 0) | 1 | dherman | Rapid development and debugging of static web sites. | |
| url-param.plt | (2 0) | — | jaymccarthy | Stores Web cells in URLs | |
| url-rewriting.plt | (1 2) | 1.0 | oesterholt | url-rewriting - URL Rewriting for the PLT Web Server collection | |
| webbot.plt | (1 3) | 1.30 | oesterholt | WebBot contains a couple of ROOS classes that provide functionality to post multipart/form-data to sites. | |
| wtk.plt | (1 8) | — | jaymccarthy | Some web components | |
| xmlrpc.plt | (4 0) | 2.0 | schematics | Implementation of the XML-RPC protocol. | |
| xmpp.plt | (1 2) | — | zzkt | A library for the XMPP or Jabber protocol. | |
| xosd.plt | (1 0) | 1.0 | murphy | Bindings to the X on-screen display library. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| cairo.plt | (1 0) | — | samth | A set of bindings for the cairo [http://cairographics.org] drawing library.Currently the font handling functionality is not included in the binding. | |
| fractal.plt | (2 0) | 1 | dherman | A fun example of a simple fractal. | |
| gnuplot.plt | (1 3) | 20081124 | vyzo | gnuplot interface | |
| iTunes-helper.plt | (1 0) | the only version | clements | A nearly useless package to help you choose subsets of your iTunes Library; useful for randomizing what's on your iPod. | |
| identicons.plt | (1 1) | 1.1 | mk | Library for generating identicons from 32-bit numbers. Based on an idea by Don Park. | |
| muveeStyleBrowser.plt | (1 2) | 0.1 alpha | kumar | A utility to browse muvee Reveal styles published onhttp://muvee-style-authoring.googlecode.com/for copying, installation, uninstallation, etc. | |
| rsitunes.plt | (1 1) | — | jaymccarthy | Helps you use iTunes to care for your RSI. | |
| sb-world.plt | (1 4) | — | sbloch | The sb-world collection provides an alternative API for animations, similar to the bundled "world" teachpack but more functional and less imperative. | |
| sicp.plt | (2 1) | — | soegaard | The SICP Picture Language. | |
| tiles.plt | (1 12) | — | sbloch | The tiles collection provides functions for combining (vertical and horizontal concatenation) and manipulating (rotation, reflection) images. | |
| x11.plt | (2 0) | 1.0 | kazzmir | Bindings to the X11 library | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| csv.plt | (1 5) | 0.9 | neil | csv.scm: Comma-Separated Value (CSV) Utilities in Scheme | |
| gnucash.plt | (1 1) | 0.01 | clements | A library of functions for parsing Gnucash files | |
| ho-utils.plt | (1 6) | 1.6 | oesterholt | HO Utils - are utilities that are used with various packages | |
| html-parser.plt | (1 2) | 1.2 | ashinn | A fully customizable, practical HTML parser, with an htmlprag-compatible html->sxml interface, as well as an SSAX-like lazy tree-folding interface. | |
| mirrors.plt | (2 2) | — | untyped | Syntaxes for creating composable blocks of XML and Javascript. | |
| sedna.plt | (1 2) | — | lizorkin | SXML-compatible client API for XML database management system Sedna | |
| ssax.plt | (2 0) | — | lizorkin | SSAX functional XML parsing framework to inter-convert between an angular-bracket and an S-expression-based notations for markup documents | |
| sxml-match.plt | (1 1) | 1.1 | jim | A 'by-example' pattern matcher for SXML. | |
| sxml.plt | (2 1) | — | lizorkin | Collection of tools for processing markup documents in the form of S-expressions | |
| webit.plt | (1 6) | 2.1 | jim | ||
| webscraperhelper.plt | (1 2) | 0.5 | neil | WebScraperHelper: Simple Generation of SXPath Queries from SXML Examples | |
| xml-maker.plt | (1 0) | — | synx | XML maker | |
| xml-writer.plt | (1 0) | — | synx | A generative XML writer | |
| xmpp.plt | (1 2) | — | zzkt | A library for the XMPP or Jabber protocol. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| SO31.plt | (1 2) | 1.2 | wmfarr | Code to manipulate four-dimensional Lorentz transformations (i.e. SO(3,1) group elements). | |
| ahocorasick.plt | (1 0) | — | dyoo | Aho-Corasick Tools: both an interpreter and a compiler for Aho-Corasick automata | |
| amb.plt | (1 1) | 1.1 | murphy | An enhanced version of the classic backtracking ambiguous operator. | |
| amb.plt | (1 0) | 1.0 | wmfarr | The classic ambiguous operator. | |
| array-ec.plt | (1 0) | 1.0 | wmfarr | SRFI-42 eager comprehensions and generators for SRFI-25 arrays. | |
| aterm.plt | (2 0) | 1 | dherman | Utilities for the ATerm format. | |
| calm-evt.plt | (1 0) | 1.0 | dyoo | calm-evt: event wrapper that calms an event's delivery. | |
| control.plt | (2 0) | 2.0 | soegaard | Control Structures This package provides the control structures while, until, dotimes, and tagged-begin. The tagged-begin contruct is a 'begin with labels and goto'. | |
| crypto.plt | (2 3) | 20090428 | vyzo | Crypto library for mzscheme | |
| datastructs.plt | (1 0) | 0.40 | oesterholt | Datastructs - Thread Safe Datastructures | |
| dbm.plt | (1 0) | — | jaymccarthy | An interface to UNIX dbm databases | |
| digest.plt | (1 2) | 1.2 | soegaard | Message digest algorithms (md5, sha1, ...) from libcrypto. Incremental calculation supported. | |
| dijkstra.plt | (1 2) | — | jaymccarthy | An implementation of Dijkstra's algorithm | |
| disk.plt | (1 0) | 1.0 | soegaard | A library of disk functions. For now sorting of large files. | |
| environment.plt | (3 0) | 3.0 | cobbe | A rib-cage environment data structure. | |
| evector.plt | (1 1) | 1.1 | soegaard | Extensible vectors are a low level, resizeable data structure resembling normal Scheme vectors. | |
| fib-heap.plt | (1 1) | — | jaymccarthy | An imperative Fibonacci heap | |
| fra.plt | (2 1) | — | jaymccarthy | A purely functional implementation of a relational algebra + database | |
| galore.plt | (4 2) | — | soegaard | A library of functional data structures | |
| gzip.plt | (2 0) | 2.0 | soegaard | Provides gzip compression and decompression via zlib. | |
| hash-cons.plt | (1 0) | 1.0 | dyoo | hash-cons for sharing of cons pairs and structs | |
| join-forest.plt | (1 2) | 1.1 | dyoo | join a forest of binary trees | |
| json.plt | (1 2) | 1 | dherman | Implements the JSON data format. | |
| levenshtein.plt | (1 3) | 0.6 | neil | levenshtein.scm: Levenshtein Distance Metric in Scheme | |
| libpq.plt | (1 2) | — | synx | PostgreSQL Client Library Interface | |
| list.plt | (2 0) | 2 | dherman | Combines the best of the standard mzscheme list libraries. | |
| logic.plt | (1 1) | 0.01 alpha | pjmatos | Functions for logic formulas (as s-expr) manipulation.Also includes functions to generate CNF and system interface to SAT solvers. | |
| matrix.plt | (1 0) | — | jaymccarthy | 'Functional' matrices that allow persistent reads but not persistent writes | |
| move-pos.plt | (1 0) | 1.0 | dyoo | calculates the effect of printing a displayed string on line/column positions. | |
| multimethod.plt | (2 1) | 2.1 | murphy | Procedures with multiple dispatch and ad-hoc type hierarchies. | |
| mzgsl.plt | (3 0) | — | wmfarr | Bindings to the GNU Scientific Library for MzScheme. See the Science collection for native MzScheme libraries which implement much of this functionality. | |
| pairing-heap.plt | (1 0) | 1.0 | wmfarr | The pairing-heaps.plt package provides a unit for creating and manipulating pairing heaps. To learn more about pairing heaps, see the Wikipedia entry on pairing-heaps. The heaps created by this package are "persistent", meaning that operations like "insert" create a new heap which contains all the elemnts of the old heap plus those which have been inserted. Persistent datastructures are particularly useful for multi-threaded programs because no operations can alter a pre-existing heap (which can therefore be shared between multiple threads). | |
| permutations.plt | (1 3) | — | wmfarr | Generate and manipulate permutations. | |
| plt-linalg.plt | (1 10) | — | wmfarr | Simple linear algebra operations in double-precision for PLT Scheme.Uses LAPACK and BLAS for operations | |
| ralist.plt | (1 12) | — | dvanhorn | Purely Functional Random-Access Lists. | |
| ring-buffer.plt | (1 0) | — | jaymccarthy | Imperative ring buffer | |
| rle.plt | (1 1) | 1.0 | dyoo | run-length encoding | |
| rope.plt | (3 2) | 3.0 | dyoo | Ropes for fast string concatenation and subsequencing | |
| set.plt | (4 0) | 2 | dherman | A functional set implementation. | |
| simple-matrix.plt | (1 1) | — | wmfarr | Very simple and basic matrix/vector operations and datastructures | |
| sort.plt | (1 0) | 1 | dherman | Useful sorting utilities. | |
| spvector.plt | (1 2) | — | jaymccarthy | 'Functional' vectors that allow persistent reads but not persistent writes | |
| srfi-4-comprehensions.plt | (1 1) | 1.0 | wmfarr | SRFI-42 comprehensions and generators for SRFI-4 vectors | |
| stream.plt | (1 1) | 1 | dherman | A library of procedures for operating on SRFI 40 streams, analogous to SRFI 1. | |
| struct.plt | (2 4) | 4 | dherman | A library of various data structures based on structs, including algebraic datatypes and inheritance hierarchies. | |
| suffixtree.plt | (1 1) | — | dyoo | Suffix trees with Ukkonen's algorithm | |
| tqueue.plt | (1 2) | 1.0 | dyoo | A queue-like data structure for topological sorting. | |
| trie.plt | (1 0) | — | jaymccarthy | Finite maps as big-endian binary tries | |
| union-find.plt | (1 0) | 1.0 | dyoo | union-find: classical union-find data structure for disjoint sets | |
| views.plt | (2 1) | 2.1 | cobbe | Macros for defining pattern-matching views on abstract data types | |
| weak-map.plt | (1 0) | 1.0 | dyoo | weak-map: a hash-table with weak-keysUseful for building object caches. Also includes a string-intern example. | |
| xml-maker.plt | (1 0) | — | synx | XML maker | |
| xml-writer.plt | (1 0) | — | synx | A generative XML writer | |
| zipper.plt | (1 0) | — | jaymccarthy | Zipper-like functions. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| binary.plt | (1 0) | 1 | dherman | Utilities for binary data. | |
| bit-io.plt | (2 0) | 2 | soegaard | Bit IO This package provides the operations for reading and writing bits from and to files. | |
| csv.plt | (1 5) | 0.9 | neil | csv.scm: Comma-Separated Value (CSV) Utilities in Scheme | |
| fmt.plt | (1 1) | 0.6 | ashinn | Extensible Combinator-based Text Formatting | |
| fs-persist.plt | (1 0) | — | jaymccarthy | fs-persist | |
| gnucash.plt | (1 1) | 0.01 | clements | A library of functions for parsing Gnucash files | |
| html-parser.plt | (1 2) | 1.2 | ashinn | A fully customizable, practical HTML parser, with an htmlprag-compatible html->sxml interface, as well as an SSAX-like lazy tree-folding interface. | |
| ical.plt | (1 2) | — | jaymccarthy | Reads and writes iCal/vCal files | |
| io.plt | (1 9) | 4 | dherman | A library of I/O utilities. | |
| mboxrd-read.plt | (1 1) | 20090325 | clements | A library of 2 functions for parsing files in the standard mboxrd format | |
| mzfam.plt | (1 2) | 1.0 | jao | A file alteration monitor (using either FAM/Gamin or a pure scheme implementation) | |
| packed-binary.plt | (1 1) | — | williams | Performs conversions between PLT Scheme values and C structs represented as PLT Scheme byte strings. It also provides read and write routines to perform these conversions directly to/from binary files. | |
| planet-fmt.plt | (1 0) | — | joskoot | ||
| port.plt | (1 3) | — | schematics | A library of functions that operate on ports. | |
| pprint.plt | (4 4) | 2 | dherman | A pretty-printing library. | |
| scripting.plt | (1 1) | 1.1 | ryanc | Scripting is a library of procedures useful for writing mzscheme scripts, especially those which execute external commands and manipulate the filesystem. | |
| sql-oo.plt | (2 0) | — | jaymccarthy | Allows persistent objects in an SQL database. (Currently only works with SQLite.) | |
| sql-table.plt | (1 1) | 0.1 | dfisher | Provides a persistent-table abstraction for SQL-based databases. | |
| sqld-psql-c.plt | (1 1) | 1.1 | oesterholt | sqld-psql-c - An FFI based, asynchronous driver for use with SQLID for PostgreSQL, based on libpq and an additional threaded query library | |
| sqld-psql-ffi.plt | (1 1) | 1.00 | oesterholt | sqld-psql-ffi - An FFI based, asynchronous driver for use with SQLID for PostgreSQL, based on libpq | |
| sqld-psql.plt | (1 0) | 1.0 | oesterholt | sqld-psql - A driver for use with SQLID for PostgreSQL based on Schematics spgsql.plt | |
| sqld-sqlite.plt | (1 7) | 1.7 | oesterholt | sqld-sqlite - An FFI driver for use with SQLID for sqlite3 | |
| sqlid-helper.plt | (1 0) | 1.0 | sweeney | A SQL frontend for use with hans's sqlid planet package (uses scheme friendly syntax for select statements) | |
| sqlid.plt | (1 5) | 1.5 | oesterholt | SQLI/SQLD is a framework for RDBM access. | |
| sqlite.plt | (4 3) | — | jaymccarthy | Allows access to SQLite databases. | |
| string-template.plt | (1 0) | 1.0 | dyoo | simple string templates | |
| svn.plt | (1 0) | 1.0 | murphy | Bindings to the Subversion C API. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| SO31.plt | (1 2) | 1.2 | wmfarr | Code to manipulate four-dimensional Lorentz transformations (i.e. SO(3,1) group elements). | |
| bh-tree.plt | (1 0) | 1.0 | wmfarr | Create and manipulate Barnes-Hut octtrees.These trees are useful in N-Body simulations as an efficient datastructure for computing forces and potentials. | |
| deriv.plt | (3 0) | — | wmfarr | MzScheme language which extends numerical operations to allow for automatic differentiation. | |
| dracula.plt | (8 2) | — | cce | Provides the Dracula language level for ACL2 emulation. | |
| fractal.plt | (2 0) | 1 | dherman | A fun example of a simple fractal. | |
| gnuplot.plt | (1 3) | 20081124 | vyzo | gnuplot interface | |
| inference.plt | (2 0) | — | williams | Implements a rule-based inference engine that supports both forward (data-driven) and backward (goal-driven) chaining. | |
| levenshtein.plt | (1 3) | 0.6 | neil | levenshtein.scm: Levenshtein Distance Metric in Scheme | |
| logic.plt | (1 1) | 0.01 alpha | pjmatos | Functions for logic formulas (as s-expr) manipulation.Also includes functions to generate CNF and system interface to SAT solvers. | |
| math.plt | (1 4) | 1.4 | soegaard | Large collection of number theory functions. | |
| mrmathematica.plt | (1 2) | — | zck | MrMathematica -- Union of Mathematica and Scheme. | |
| mrmathematica.plt | (1 1) | — | chongkai | MrMathematica -- Union of Mathematica and Scheme. | |
| mzgsl.plt | (3 0) | — | wmfarr | Bindings to the GNU Scientific Library for MzScheme. See the Science collection for native MzScheme libraries which implement much of this functionality. | |
| nbody-ics.plt | (1 0) | 1.0 | wmfarr | Initial conditions for N-body simulations.Currently provides cold and hot (any ratio of KE/PE) constant-density spherical distributions and plummer models. | |
| permutations.plt | (1 3) | — | wmfarr | Generate and manipulate permutations. | |
| plt-linalg.plt | (1 10) | — | wmfarr | Simple linear algebra operations in double-precision for PLT Scheme.Uses LAPACK and BLAS for operations | |
| random-org.plt | (1 2) | 1.0 | ekiru | An interface to the HTTP API of random.org, providing functions to generate true random numbers, strings, and passwords. | |
| random.plt | (1 0) | 1 | schematics | Functions to produce random numbers of various distribtions. The library uses the SRFI-27 approach. Random permuations are also provided | |
| rpg-utils.plt | (1 0) | 1.0 | murphy | Statistical and simulation procedures for pen and paper role playing games. | |
| science.plt | (3 5) | — | williams | A collection of modules that provide functions for numerical computing. | |
| simple-matrix.plt | (1 1) | — | wmfarr | Very simple and basic matrix/vector operations and datastructures | |
| simulation.plt | (3 3) | — | williams | Implements an integrated discrete-event and continuous simulation engine. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| c.plt | (3 1) | 0.3 | dherman | Tools for manipulating C, including header extraction for the FFI. | |
| cairo.plt | (1 0) | — | samth | A set of bindings for the cairo [http://cairographics.org] drawing library.Currently the font handling functionality is not included in the binding. | |
| ddeclient.plt | (1 0) | — | mato | A DDE interface to setup clients in PLT-Scheme.Supporting execute-, poke- and request-transactions.Beta state. | |
| get-environment.plt | (1 0) | 1.0 | dyoo | get C environmental variables | |
| host-serial.plt | (1 2) | 1.0 | oesterholt | host-serial - Serial numbers for a given host (hardware bound). | |
| linux-proc-apm.plt | (1 0) | 0.2 | neil | linux-proc-apm.scm: Linux /proc/apm APM Data Access in Scheme | |
| network.plt | (1 0) | 1 | dherman | Network utilities, currently only available for Windows. | |
| password.plt | (1 0) | 1.0 | schematics | A library of functions to generate passwords. | |
| pointer-address.plt | (1 0) | — | synx | The address of a C pointer | |
| sizeof.plt | (2 0) | — | synx | Size of arbitrary C types | |
| socket.plt | (3 2) | 20090427 | vyzo | BSD/POSIX sockets library for mzscheme | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| animated-canvas.plt | (1 1) | — | williams | This library provides an animated-canvas% class that specializes the MrEd canvas% class to provide a simple double-buffered animation capability in PLT Scheme. A simple demonstration program is also provided. | |
| growl.plt | (1 2) | 1.2 | murphy | A simple interface to the UDP protocol for Growl notifications. | |
| hwiki.plt | (1 15) | 1.15 | oesterholt | HWIKI - A wysiwyg wiki/cms for mzscheme | |
| log.plt | (1 0) | — | synx | Simple logging facility | |
| mirrors.plt | (2 2) | — | untyped | Syntaxes for creating composable blocks of XML and Javascript. | |
| planet-manager.plt | (1 1) | — | kazzmir | A graphical manager for planet packages. | |
| pprint.plt | (4 4) | 2 | dherman | A pretty-printing library. | |
| table-panel.plt | (1 0) | — | williams | This library provides a table-panel% class that specializes the MrEd panel% class to provide a panel that aligns its children to a grid. A simple demonstration program is also provided. | |
| table-snip.plt | (1 0) | 0.1 | spdegabrielle | A MrEd snip for tabular data. /n just supply a table as a list of rows, with all the rows the same length(it doesn't check your table) | |
| vi.plt | (1 4) | — | kazzmir | Vi mode for Drscheme | |
| widgets.plt | (2 0) | 2 | dherman | A library of GUI widgets. | |
| xosd.plt | (1 0) | 1.0 | murphy | Bindings to the X on-screen display library. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| advanced-student.plt | (1 1) | — | dvanhorn | A simple compiler for the Advanced Student language,
written in the Advanced Student Language and developed
in the style of HtDP. | |
| aspectscheme.plt | (1 0) | 4.0 | dutchyn | AspectScheme -- higher-order pointcut and advice aspects for Scheme | |
| c.plt | (3 1) | 0.3 | dherman | Tools for manipulating C, including header extraction for the FFI. | |
| dilbert.plt | (1 0) | — | dvanhorn | Context semantics for the Geometry of Interaction. | |
| grammar.plt | (1 3) | — | dvanhorn | Datum grammar acceptors, a syntax for constructing acceptor procedures for a given context-free grammar. | |
| java.plt | (1 5) | 0.1 | dherman | A library for manipulating Java programs in both source and binary format. | |
| lambda-gradual.plt | (1 2) | 1 | dherman | The gradually typed lambda calculus of Siek and Taha and Herman, Tomb, and Flanagan. | |
| lambda-sigma.plt | (1 1) | 5 | dherman | The lambda-sigma calculus of Abadi, Cardelli, Curien, and Levy. | |
| macro-object.plt | (1 0) | 1 | dherman | A library for attaching elaboration-time values to syntax transformers. | |
| macros.plt | (1 3) | 1.2 | ryanc | Defines macros for struct definitions and interface-checked class programming. Also provides utilities for macro-writers. | |
| mzlite.plt | (1 0) | 1 | dherman | A DrScheme language level for a minimal mzscheme. | |
| namespace.plt | (1 0) | 1.0 | schematics | A library of useful procedures on namespaces | |
| pointer-address.plt | (1 0) | — | synx | The address of a C pointer | |
| pprint.plt | (4 4) | 2 | dherman | A pretty-printing library. | |
| r4rs-compiler.plt | (1 0) | — | dvanhorn | Compiling Scheme Workshop (1996) expository Scheme compiler. | |
| r6rs-expander-vantonder.plt | (3 2) | 6.0.2 (12-27-07) | dvanhorn | Portable expander for R6RS macros and libraries. | |
| redex.plt | (4 4) | — | robby | PLT Redex is a domain-specific language for expressing context-sensitive reduction semantics systems. It allows you to explore your reduction systems interactively using a GUI interface and write test cases using a scripting interface. | |
| roos.plt | (1 9) | 1.9 | oesterholt | ROOS is an OO Framework this is used with mzgtk2 and Persistent ROOS | |
| sizeof.plt | (2 0) | — | synx | Size of arbitrary C types | |
| sml.plt | (1 2) | — | chongkai | This is the Standard ML language embeded in PLT Scheme. | |
| srfi-53.plt | (1 0) | — | dvanhorn | SRFI 53: Syntactic computations with computation-rules, reference implementation written by Andre van Tonder and transcribed to work with MzScheme and SchemeUnit. | |
| staapl.plt | (1 9) | 0.5.9 | zwizwa | A collection of abstractions for metaprogramming microcontrollers. | |
| syntactic-closures.plt | (1 0) | 1 | dherman | The Bawden-Rees reference implementation of syntactic closures. | |
| syntax-browser.plt | (2 0) | 2.0 | ryanc | Obsolete: use (lib "syntax-browser.ss" "macro-debugger") instead. The syntax-browser displays lexical context and hygiene information on syntax objects using colors and highlighting. | |
| typed-student.plt | (1 1) | — | dvanhorn | Typed Student: typed languages and teachpacks for HtDP. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| bug.plt | (1 0) | — | robby | A buggy package. Invoke the bug thunk to get a contract violation blaming this package | |
| planet-manager.plt | (1 1) | — | kazzmir | A graphical manager for planet packages. | |
| require.plt | (1 3) | 1.3 | ryanc | Require is a library that lets one name external modules or packages and use short abbreviations for requiring those external modules or packages. In addition, it provides a single point of specification for the location and version number of the packages being used. | |
| test-connection.plt | (1 0) | — | planet | Tests your PLaneT collection to make sure it's working properly. | |
| |||||
| Name | PLaneT Version | External Version | Owner | Description | |
| SET.plt | (1 0) | — | jaymccarthy | SET | |
| affine-contracts.plt | (2 2) | 0.2.1 | tov | Affine contracts for one-shot functions and boxes | |
| array-ec.plt | (1 0) | 1.0 | wmfarr | SRFI-42 eager comprehensions and generators for SRFI-25 arrays. | |
| aspect-scheme.plt | (2 1) | 2 | cdutchyn | Reference implementation of AspectScheme from "Aspects in Higher-Order Languages" | |
| bisect-search.plt | (1 0) | 1.0 | dyoo | Bisection search algorithm | |
| blogue.plt | (1 2) | — | jaymccarthy | blogging tool like early blosxom | |
| c.plt | (3 1) | 0.3 | dherman | Tools for manipulating C, including header extraction for the FFI. | |
| ccnum.plt | (1 2) | 0.4 | neil | ccnum.scm: Credit Card Number Utilities in Scheme | |
| cdrswift.plt | (1 5) | — | dignatof | [no description available] | |
| classic-java.plt | (1 1) | 1.1 | cobbe | An implementation of ClassicJava in PLT Redex. | |
| closure-calculus.plt | (1 0) | — | dvanhorn | An aplicative order reduction semantics for the lambda-rho-hat calculus of closures. | |
| contract-utils.plt | (3 0) | 3.0 | cobbe | Various contract functions and utilities. | |
| country-codes.plt | (1 1) | 1.1 | dyoo | ISO 3166 country codes. | |
| crypto.plt | (2 3) | 20090428 | vyzo | Crypto library for mzscheme | |
| csv-write.plt | (1 2) | 1 | dherman | Generates CSV-formatted output. | |
| delim-control.plt | (1 0) | — | jaymccarthy | Generic implementation of all four delimited control operators | |
| finite-types.plt | (1 1) | — | dvanhorn | Enumerated and finite types and sets facility. | |
| fortunedb.plt | (1 0) | — | jaymccarthy | Fortune Database | |
| fractal.plt | (2 0) | 1 | dherman | A fun example of a simple fractal. | |
| fun.plt | (1 0) | — | toups | Allows you to partially apply a function to any number/position of arguments.Contains a few other useful functions and left and right partial application. | |
| generator.plt | (2 2) | 1.1 | dyoo | Provides nice syntactic sugar for writing Python/Ruby stylegenerators. | |
| geocoder.plt | (1 1) | 1 | dherman | Geocodes US street addresses. | |
| gnuplot.plt | (1 3) | 20081124 | vyzo | gnuplot interface | |
| grid.plt | (1 2) | — | jaymccarthy | Managing your life is good for you. | |
| hash-store.plt | (1 4) | — | jaymccarthy | Stores bytes by SHA1 hash. | |
| hmac-sha1.plt | (1 1) | — | jaymccarthy | HMAC-SHA1 | |
| ho-utils.plt | (1 6) | 1.6 | oesterholt | HO Utils - are utilities that are used with various packages | |
| host-serial.plt | (1 2) | 1.0 | oesterholt | host-serial - Serial numbers for a given host (hardware bound). | |
| htmlprag.plt | (1 3) | 0.16 | neil | HtmlPrag: Pragmatic Parsing and Emitting of HTML using SXML and SHTML | |
| hwiki.plt | (1 15) | 1.15 | oesterholt | HWIKI - A wysiwyg wiki/cms for mzscheme | |
| infix.plt | (1 1) | 1.2 | dyoo | infix expressions for PLT Scheme | |
| inspector.plt | (1 0) | 2 | dherman | A library of inspector utilities. | |
| javascript.plt | (1 2) | — | jaymccarthy | Javascript s-expression syntax | |
| lambda-gradual.plt | (1 2) | 1 | dherman | The gradually typed lambda calculus of Siek and Taha and Herman, Tomb, and Flanagan. | |
| lambda-sigma.plt | (1 1) | 5 | dherman | The lambda-sigma calculus of Abadi, Cardelli, Curien, and Levy. | |
| launch-browser.plt | (1 1) | 1.0 | oesterholt | launch-browser - start the default browser with a url | |
| list-accessor-predicates.plt | (1 0) | — | erast | This library defines the missing predicates to test whether a given list accessor car, cdr, cadr, caar, cdar, etc. can be applied. The corresponding predicates are called cadr?, caar?, cdar?, and so on, where car? and cdr? are synonyms for pair? Up to four combinations of car? and cdr? are supported. The predicates are defined using macros and should work efficiently. | |
| memoize.plt | (3 1) | 2 | dherman | Macros for defining memoized procedures. | |
| meta-q.plt | (1 0) | — | jaymccarthy | Meta-Q implementation for PLT strings | |
| miniKanren.plt | (1 1) | — | dfriedman | An implementation of miniKanren, an embedding of logic programming into Scheme. This is the miniKanren that was presented at the 2006 Scheme Workshop in September, 2006. | |
| mmss.plt | (1 1) | — | jaymccarthy | Jay McCarthy's collection of Scheme procedures. | |
| moby-tool.plt | (1 1) | — | dyoo | [no description available] | |
| mrtex2im.plt | (1 3) | 0.4 | pjmatos | [no description available] | |
| mysqldump.plt | (1 0) | 1 | dherman | Converts a MySQL dump to CSV. | |
| mz-language-tags.plt | (1 2) | 1.0 | oesterholt | MZ-LANGUAGE-TAGS - IANA Language tags | |
| mzlite.plt | (1 0) | 1 | dherman | A DrScheme language level for a minimal mzscheme. | |
| mzrpc.plt | (1 4) | 1.4 | oesterholt | MZRPC - An other RPC implementation for mzscheme | |
| nationality.plt | (3 0) | 1 | dherman | Maps country names to their nationalities. | |
| numspell.plt | (1 1) | 0.2 | neil | numspell.scm: Spelling Numbers as English in Scheme | |
| offby1.plt | (2 1) | — | offby1 | Buncha stuff I find useful | |
| password.plt | (1 0) | 1.0 | schematics | A library of functions to generate passwords. | |
| peg.plt | (2 0) | — | kazzmir | Parsing expression grammar generator. | |
| postnet-planet.plt | (1 0) | 0.2 | neil | postnet.scm: USPS POSTNET Barcode Encoding in Scheme | |
| postnet.plt | (1 0) | 0.3 | neil | postnet: USPS POSTNET Barcode Encoding in Scheme | |
| prefix.plt | (1 1) | — | jaymccarthy | Tests students with regards to the use of prefix notation. | |
| prometheus.plt | (1 0) | 2.0 | daedalus | The Prometheus Object System, a prototype-based object system inspired by Self | |
| prophecy.plt | (1 0) | 1 | dherman | A "future-generator" control construct, or "prophecy." | |
| protobj.plt | (1 1) | 0.3 | neil | Protobj: Prototype-Delegation Object Model in Scheme | |
| record-case.plt | (1 1) | — | dvanhorn | Record-case, a simple list deconstruction syntax used
in the Compiling Scheme Workshop (1996) expository Scheme compiler. | |
| roman.plt | (1 1) | 0.2 | ams | Utility functions for roman numerals. | |
| rpg-utils.plt | (1 0) | 1.0 | murphy | Statistical and simulation procedures for pen and paper role playing games. | |
| sample-teachpacks.plt | (1 0) | — | eli | Sample package that demonstrates installing two teachpacks. | |
| scribble-paper.plt | (2 1) | — | mflatt | [no description available] | |
| scripting.plt | (1 1) | 1.1 | ryanc | Scripting is a library of procedures useful for writing mzscheme scripts, especially those which execute external commands and manipulate the filesystem. | |
| sicp-concurrency.plt | |||||