Low Activity
2
I Use This!

Project Summary

Analyzed 9 days ago. based on code collected 9 days ago.

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.

Tags

No tags have been added

Share

Languages

Languages?height=75&width=75
C
54%
TeX/LaTeX
16%
JavaScript
13%
10 Other
17%

Lines of Code

Activity

30 Day Summary

Jun 21 2016 — Jul 21 2016

12 Month Summary

Jul 21 2015 — Jul 21 2016
  • 119 Commits
    Down -30 (20%) from previous 12 months
  • 5 Contributors
    Down -2 (28%) from previous 12 months

Community