petersen/urweb

Project ID: 31210

Description

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.

Installation Instructions

dnf install urweb

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release Architectures Repo Download
EPEL 7 x86_64 (1)* EPEL 7 (123 downloads)
Fedora 37 aarch64 (11)*, x86_64 (11)* Fedora 37 (0 downloads)
Fedora 38 aarch64 (6)*, x86_64 (10)* Fedora 38 (19 downloads)
Fedora 39 aarch64 (7)*, x86_64 (10)* Fedora 39 (17 downloads)
Fedora 40 aarch64 (0)*, x86_64 (0)* Fedora 40 (2 downloads)
Fedora rawhide aarch64 (11)*, x86_64 (0)* Fedora rawhide (116 downloads)

* Total number of packages downloaded in the last seven days.