Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
achlipala / upo
The Ur/Web People Organizer
-
tca / urchan
bbs written in Ur/Web
-
achlipala / frapapp
Web application for course on Formal Reasoning About Programs
-
achlipala / upo_mit
UPO extensions for MIT
-
grwlf / urweb-callback
urweb: run serve-side processes asynchronously
-
grwlf / urweb-prelude
Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library
-
grwlf / urweb-monad-pack
-
vizziv / UrLib
Useful Ur/Web functions.
-
bmsherman / eecs-ims
EECS intramural signups
-
nessig / chatapp
Chat app written using Ur/Web
-
bfilin / upo_carousel
carousel test with upo
-
AlexanderAA / urchan
bbs written in Ur/Web
-
silky / website
A simple website written in Ur/Web
-
1337777 / upo
The Ur/Web People Organizer
-
mcoblenz / upo
The Ur/Web People Organizer
-
bbarenblat / urweb-regex
Ur/Web regular expression library
-
bbarenblat / urweb-markdown
Ur/Web Markdown parser
-
extensibl / upo
The Ur/Web People Organizer
-
grwlf / urweb-fviewer
-
voila / urchat
A simple web chat with Ur/Web
-
vizziv / Resistance
A web app for playing The Resistance. Written in Ur/Web.
-
BlackIce888 / urpage
A webpage written in Ur/Web for experimenting purposes.
-
bbarenblat / 6.947
fake course web site
-
bbarenblat / urweb-gravatar
Ur/Web Gravatar library
-
bbarenblat / urwiki
wiki software written in Ur/Web