Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-urweb
Collection of awesome Ur/Web libraries, components, and projects
https://github.com/docelic/awesome-urweb
Last synced: 1 day ago
JSON representation
-
Videos
- Bitcoin Merge Mining Pool
- Ur/Web tutorial, multiple lessons - Adam Chlipala's Ur/Web tutorial
- BazQux Reader - Commercial RSS feed reader ([partial source code](https://github.com/bazqux/bazqux-urweb))
- Bitcoin Merge Mining Pool
- classy.school - SaaS application for music schools in Belgium
- Ecosrv - Build server for firmware on network hardware
-
Database Tools
-
Framework Components
- openid - OpenID authentication (NOTE: this functionality should be revised and included in `world`)
- ajaxUpload - Upload files without forcing page reloads
- 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
- urweb-captcha - Captcha library in Ur/Web
- urweb-persona (fork) - Persona authentication example in Ur/Web (fork)
-
Misc
-
Web Frameworks
- UPO - Framework for rapid construction of web apps for organizing people and events
-
Web Servers
- IRC - #ur on Libera.Chat
- Ur mailing list
- Ur mailing list
-
Demos
- Demos - Official Ur/Web demos
- Hands-On Opa - Ur/Web versions of demos from Hands-On Opa
- More Demos - More of the official Ur/Web demos
- Split calculator - Split an expense between people evenly ([blog post](http://ashalkhakov.github.io/articles/splitcalc.html) and [demo](https://ashalkhakov.github.io/split-calculator.html))
- TodoMVC - An Ur/Web Solution to TodoMVC
- Ur/Web Examples - Timothy Beyer's Ur/Web examples
- UrFlow Demo - Static analysis
- Extensibl - A simple website written in Ur/Web
- Logitext - Interactive sequent calculus tutorial ([homepage](http://logitext.mit.edu/main))
- Oilprice - Simple application ("Oilprice")
- UrBlog - Ur/Web-based blog system
- uru3 - Set of user interface libraries
- urweb-clock - Displays a web page that displays the server's time updated every second or so by executing `date` on the server
- urweb-fviewer - demonstrating complex app development (uru3, xmlw, urweb-build)
- urweb-monad-pack - Collection of monads inspired by Haskell's MTL
-
Official
- Issue tracker - Official issue tracker
- Ur FAQ - Ur/Web FAQ
- www.impredicative.com/ur - Official language site
-
References
- basis.urs - urweb/lib/ur/basis.urs
- The Ur/Web Manual - Official Ur/Web Manual
- top.urs - urweb/lib/ur/top.ur{,s}
- Ur/Web Tests - Official tests in the compiler repository. Helps to show examples, especially concerning syntax and embedded SQL.
-
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
- Handling POST requests with Ur/Web
- Managing the server/client split in Ur/Web - Edward Z. Yang's post
- Polymorphic variants in Ur/Web
- Polymorphic Variants Usage Example
- dnplayer - Daniel Patterson's media player app with [extensive tutorial](https://dbp.io/essays/2013-05-21-literate-urweb-adventure.html)
- Simple Ur/Web Example
- The Ur/Web Tutorial - Official tutorial (introduction and type-level computation)
- Three research programming languages together
- Top.Fold to count fields of a record
- Type Classes as Predicates over types
- Ur/Web in production - Vladimir Shabanov's mailing list post about BazQux Reader
- Ur/Web Tutorial - Gian Perrone's Ur/Web Tutorial ([source code](https://github.com/gian/urtutorial))
- Ur/Web's approach to records - Edward Z. Yang's post
- Using Ur/Web: Pro's and Con's - Simon Van Casteren's blog post
-
Algorithms and Data Structures
- urweb-aatree - Sorted and Hashed versions of Sets and Dictionaries as Arne Anderson trees
- urweb-dequeue - Double ended queue over split list implementation
- urweb-pairing-heap - A pairing heap implementation of a priority queue
-
CSS
- bootstrap - Interface to Twitter Bootstrap CSS library
-
Data Formats
- urweb-utf8 - Basic UTF8 library (DEPRECATED - part of Ur/Web since 2019.)
- urweb-utf8 - Basic UTF8 library (DEPRECATED - part of Ur/Web since 2019.)
-
Development Tools
- urweb-prelude - Collection of basic combinators, inspired by Haskell's Prelude library
- urweb-prelude - Collection of basic combinators, inspired by Haskell's Prelude library
-
Email
- email - Sending e-mail from Ur/Web
-
HTML/XML Parsing
- feed - Reading XML feeds in Ur/Web
- urweb-xmlw - Library defining a monadic XML accumulator. It allows programmer to mix XML code and transactional logic in a single Writer-like monad.
- urweb-xmlw - Library defining a monadic XML accumulator. It allows programmer to mix XML code and transactional logic in a single Writer-like monad.
-
Package Management
- urweb-build - Build system for Ur/Web projects, written in Nix expression language
- urweb-build - Build system for Ur/Web projects, written in Nix expression language
-
Processes and Threads
- uw-process - This library let's you run arbitrary command lines.
-
Queues and Messaging
- urweb-callback - Run serve-side processes asynchronously
- urweb-callback - Run serve-side processes asynchronously
-
Editor Plugins
Programming Languages
Categories
Tutorials and Blog Posts
17
Demos
15
Framework Components
8
Videos
6
References
4
Misc
3
Official
3
Algorithms and Data Structures
3
Web Servers
3
HTML/XML Parsing
3
Database Tools
2
Package Management
2
Data Formats
2
Development Tools
2
Queues and Messaging
2
Email
1
Web Frameworks
1
Processes and Threads
1
Editor Plugins
1
CSS
1
Sub Categories