欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Jungerl
The Jungle of Erlang code. This sourceforge project contains miscellanous utilities for erlang programmers.
The following list has been assembled automatically by a short description file found in each jungerl subproject.
bic
No description in the file ./lib/bic/doc/short-desc yet!
builder
OTP release script builder.
ce
miscellaneous Erlang/OTP programming support library
claw
CLAW is an embryonic compiler from Core Erlang to Common Lisp.
dhcp
No description in the file ./lib/dhcp/doc/short-desc yet!
distel
Emacs add-on for communication with Erlang nodes (+ dev tools).
edep
Dependecy generator for erlang files
edoc
EDoc lets you write the documentation of an Erlang program as comments in the source code, using Javadoc-style tags and XHTML markup. Note that the latest version of the syntax_tools application is nowadays part of the standard Erlang/OTP distribution. The Jungerl version is frozen.
eldap
This is 'eldap', the Erlang LDAP library.
enfs
Minimal NFS v2 server in Erlang
epop
A POP3 server/client package.
eradius
RADIUS authentication/accounting
erlang_automated_build
erlang_automated_build is a shell script which will run some or all of: * a CVS download of code * a full compile * a test suite * a Dialyzer analysis * a Tsunami load test The results of these are graphed and copied to a location as a web page. There is also e-mail notification on fail/success.
erl_cgi
a cgi-erlang interface with a lot of nice features, such as esp scripts
erl_img
Image processing stuff (bmp, gif, jpeg, png, xpm, tiff, mpeg)
erlmerge
No description in the file ./lib/erlmerge/doc/short-desc yet!
erlspect
Erlspect is a simple tool for automating interactive text based applications like telnet etc. And also for testing such applications.
ermacs
an erlang clone of emacs.
esmb
This is an implementation of a subset of the SMB protocol.
ex11
This is an Erlang-X11 binding, i.e an implementation of the X11 protocol in Erlang.
fd_server
No description in the file ./lib/fd_server/doc/short-desc yet!
ftpd
No description in the file ./lib/ftpd/doc/short-desc yet!
gd1_drv
This driver is for GD, a library for dynamic creation of PNG and JPEG images: line drawing, polygons, text, and lots more.
gen_leader
This application implements a leader election behaviour modeled after gen_server. This behaviour intends to make it reasonably straightforward to implement a fully distributed server with master-slave semantics.
gettext
No description in the file ./lib/gettext/doc/short-desc yet!
gregexp
This module extends the regexp module in OTP R7B-1 with support for submatches (the \(...\) syntax in SED regular expressions). This makes it possible to retrieve several components of a match with a single evaluation of a regexp.
gtkNode
gtkNode - a c-node that gives access to a large subset of GTK2
ibrowse
A powerful HTTP/1.1 client written in erlang
iconv
No description in the file ./lib/iconv/doc/short-desc yet!
intl
internationalization localization
js
No description in the file ./lib/js/doc/short-desc yet!
lama
Log and Alarm Management Application (handles alarms, maps them to SNMP traps, logs to syslog)
lersp
an Erlang interpreter for an approximation of Scheme
lines
Efficient array-of-lines ADT. Allows for append, as well as insert, replace, delete in any position with reasonable access times.
lisperl
A generic (mostly) CommonLisp compliant parser for lisp-like syntax.
measurement
Measurement ADT.
mibs
No description in the file ./lib/mibs/doc/short-desc yet!
msc
Miscellaneous small (single-file) libraries.
otp.net
A port of jinterface-1.2.1.1 to C#.NET
pan
Profiler
pgsql
Second attempt at writing a PostgreSQL frontend. Connects by plain tcp and should be able to perform simple SQL commands.
pico
Joe Armstrong's pico (http server) and wiki code
plain_fsm
A behaviour/support library for writing plain Erlang FSMs.
posix_drv
Small driver for POSIX functions not normally supported by the Erlang runtime system.
prf
prf - framework for loading and monitoring performance measuring code to remote node
proc
No description in the file ./lib/proc/doc/short-desc yet!
proc_reg
No description in the file ./lib/proc_reg/doc/short-desc yet!
psocket
PF_PACKET socket interface via port program
quickcheck
This is a program testing tool presented by John Hughes at EUC'03.
rdbms
A relational database management layer on top of mnesia.
rpc
SUN ONC/RPC for erlang.
sl
A driver for using serial ports on unix & win32.
slang
an erlang interface to the amazing highly portable tty interface slang
smart_exceptions
This is a parse transform to give more informative exceptions. There is also support for invoking an "exit handler module" instead of just exiting.
snmp_ext
No description in the file ./lib/snmp_ext/doc/short-desc yet!
spread_drv
This driver is for Spread, a reliable multicast library. See http://www.spread.org/.
ssh
This package contains a ssh implementation inclunding scp and port forwarding in both directions. It also supports distribution over ssh.
syntax_tools
Modules for handling abstract Erlang syntax trees, in a way that is compatible with the "parse trees" of the standard library module `erl_parse', together with utilities for reading source files in unusual ways and pretty-printing syntax trees. Note that the latest version of the syntax_tools application is nowadays part of the standard Erlang/OTP distribution. The Jungerl version is frozen.
timebomb
Access control for timebomb.mine.nu
tuntap
Linux "Universal TUN/TAP device" driver
ucs
No description in the file ./lib/ucs/doc/short-desc yet!
unixdom
UNIX domain socket support.
unixdom_drv
A reimplementation of UNIX domain socket support.
wiki
Joe Armstrong's wiki code
wumpus
Erlang Wumpus is an implementation of the classic game of _Hunt the Wumpus_ in Erlang.
www_tools
This is Joe Armstrong's www_tools contrib
x11
New flavour of the ex11.
xmerl
XML processing tools for Erlang. Note that xmerl is nowadays part of the standard Erlang/OTP distribution. The official development point for xmerl is http://sowap.sourceforge.net/developer.html.
xmlrpc
This is an HTTP 1.1 compliant XML-RPC library for Erlang.
yfront
No description in the file ./lib/yfront/doc/short-desc yet!
ysql
No description in the file ./lib/ysql/doc/short-desc yet!
zip
No description in the file ./lib/zip/doc/short-desc yet!
zlib
ZLIB interface driver