urweb - Ultimate host for embedded domain-specific languages

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename urweb-20150520_3.txz
Package name urweb
Package version 20150520
Package release 3
Package architecture amd64
Package type txz
Category lang www
Homepage http://www.impredicative.com/ur/
Maintainer beyert@cs.ucr.edu
Download size 2.23 MB
Installed size 15.66 MB
Ur is a programming language in the tradition of ML and Haskell, but featuring
a significantly richer type system. Ur is functional, pure, statically-typed,
and strict. Ur supports a powerful kind of metaprogramming based on row types.
Ur/Web is Ur plus a special standard library and associated rules for parsing
and optimization. Ur/Web supports construction of dynamic web applications
backed by SQL databases. The signature of the standard library is such that
well-typed Ur/Web programs "don't go wrong" in a very broad sense. Not only do
they not crash during particular page generations, but they also may not:
* Suffer from any kinds of code-injection attacks
* Return invalid HTML
* Contain dead intra-application links
* Have mismatches between HTML forms and the fields expected by their
* Include client-side code that makes incorrect assumptions about the
"AJAX"-style services that the remote web server provides
* Attempt invalid SQL queries
* Use improper marshaling or unmarshaling in communication with SQL databases
or between browsers and web servers
WWW: http://www.impredicative.com/ur/
- ELISP: on
- MYSQL: off
- PGSQL: on
- SQLITE: off


Package Version Architecture Repository
urweb-20150520_3.txz 20150520 i386 FreeBSD Ports Latest
urweb-20150520_3.txz 20150520 i386 FreeBSD Ports Quarterly
urweb-20150520_3.txz 20150520 amd64 FreeBSD Ports Quarterly
urweb - - -


Name Value
libgmp.so.10 -
postgresql95-server = 9.5.18_1


Name Value
liburweb.so.0 -
liburweb_cgi.so.0 -
liburweb_fastcgi.so.0 -
liburweb_http.so.0 -
liburweb_static.so.0 -


Type URL
Mirror pkg.freebsd.org
Binary Package urweb-20150520_3.txz
Source Package lang/urweb

Install Howto

Install urweb txz package:

# pkg install urweb

See Also

Package Description
urwfonts-1.0_8.txz Another font package for X
urwfonts-ttf-1.0.7b18_8.txz Unicode TrueType fonts from URW extended by Valek Filippov
urxvt-font-size-1.3.txz Perl extension for rxvt-unicode terminal emulator to change font size
urxvt-perls-2.0_1.txz Perl extension scripts for rxvt-unicode terminal emulator
us-zipcodes-1.0.txz USA postal codes
usb_modeswitch-2.5.2.txz Handling Mode-Switching USB Devices
usbhid-dump-1.4.txz USB HID device dumping utility
usbhotkey-0.4_2.txz Utility to remap USB keyboards under X11
usbids-20190508.txz Database of all known IDs used in USB devices
usbmuxd-1.1.0.txz Daemon for multiplexing connections over USB to iPhone/iPod Touch
usbredir-0.8.0.txz Protocol for redirection of USB traffic
usbrh-libusb-0.05_1.txz Yet another reads temperatures and humidity from a Strawberry Linux USB-RH
usbtop-1.0_3.txz Utility that shows an estimated instantaneous USB bandwidth
usbutils-0.91.txz Utility for listing USB devices
uschedule-0.7.1_1.txz Scheduler program, designed to replace cron(8) and at(1)