awesome-urweb
github.com/docelic/awesome-urweb ↗Collection of awesome Ur/Web libraries, components, and projects
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me tutorials and blog posts resources from awesome-urweb"
Installation instructions →What's inside
Tutorials and Blog Posts
- Abstract and Concrete Type Classes
- Basic Examples of the Type Class Mechanism in Ur/Web
- disjointness fun
creating records using type level functions
- dnplayer
Daniel Patterson's media player app with
- Handling POST requests with Ur/Web
- Managing the server/client split in Ur/Web
Edward Z. Yang's post
Framework Components
- ajaxUpload
Upload files without forcing page reloads
- openid
OpenID authentication (NOTE: this functionality should be revised and included in
- urweb-captcha
Captcha library in Ur/Web
- urweb-persona
Persona authentication example in Ur/Web
- urweb-persona (fork)
Persona authentication example in Ur/Web (fork)
- world
Interfaces to common web API providers
Database Tools
References
- basis.urs
urweb/lib/ur/basis.urs
- The Ur/Web Manual
Official Ur/Web Manual
- top.urs
- Ur/Web Tests
Official tests in the compiler repository. Helps to show examples, especially concerning syntax and embedded SQL.
Videos
- BazQux Reader
Commercial RSS feed reader (
- Bitcoin Merge Mining Pool
- classy.school
SaaS application for music schools in Belgium
- Ecosrv
Build server for firmware on network hardware
- Ur/Web tutorial, multiple lessons
Adam Chlipala's Ur/Web tutorial
CSS
- bootstrap
Interface to Twitter Bootstrap CSS library
Demos
- Demos
Official Ur/Web demos
- Extensibl
A simple website written in Ur/Web
- Hands-On Opa
Ur/Web versions of demos from Hands-On Opa
- Logitext
Interactive sequent calculus tutorial (
- More Demos
More of the official Ur/Web demos
- Oilprice
Simple application ("Oilprice")
Showing a sample of 71 resources. View the full list on GitHub →