A Tutorial for Ur/Web
☆28Oct 7, 2015Updated 11 years ago
Alternatives and similar repositories for urtutorial
Users that are interested in urtutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.☆16Aug 4, 2011Updated 15 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- The Ur/Web People Organizer☆32May 6, 2024Updated 2 years ago
- MLton for scalable multicore architectures☆57Mar 10, 2014Updated 12 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆23Jan 3, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- Simple lenses, minimum dependencies☆14Nov 12, 2023Updated 2 years ago
- Network server programming with SML/NJ and CML -- MOVED TO: https://git.leastfixedpoint.com/tonyg/smlnj-networking☆11Jan 2, 2012Updated 14 years ago
- The Ur/Web programming language☆851May 28, 2024Updated 2 years ago
- The BigMC Bigraphical Analysis Tool☆11Feb 4, 2014Updated 12 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 11 years ago
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- Makefile DSL☆12Apr 3, 2018Updated 8 years ago
- Terminal cursor movement and manipulation of cursor properties such as visibility☆13Jul 5, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ur/Web part of BazQux Reader sources☆87Jun 10, 2021Updated 5 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- A simple PDP-11 assembler and emulator, designed to help teach the basics of what goes on inside a computer.☆11Jul 30, 2022Updated 4 years ago
- Unit testing for Standard ML of New Jersey (SML/NJ) lol☆16Nov 8, 2020Updated 5 years ago
- SML hack day planning and coordination☆16Oct 21, 2011Updated 15 years ago
- A library for generating RSS 2.0 feeds.☆18Jan 6, 2026Updated 9 months ago
- ☆21Mar 5, 2017Updated 9 years ago
- A Mediator and Observer pattern event library☆15Oct 18, 2026Updated last week
- WIP: Presentation turned blog series: Building the simplest possible thing over and over again.☆16Sep 5, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implementation of the PACK file (Git) in OCaml☆20Jun 25, 2020Updated 6 years ago
- ☆26Jul 18, 2022Updated 4 years ago
- Quiver stream processing library☆15Oct 6, 2016Updated 10 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆20Sep 5, 2014Updated 12 years ago
- ☆20Jan 16, 2025Updated last year
- patterns for go lang☆12Dec 31, 2019Updated 6 years ago
- SMTLib2 interface implementation for Haskell☆18Dec 6, 2017Updated 8 years ago
- IO Uring bindings for Crystal.☆16Aug 26, 2025Updated last year
- An old offline HTML preprocessor (which can be used for static site generation), written in Perl and C that is still maintained for legac…☆14Jun 28, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆19Jan 25, 2015Updated 11 years ago
- Simple and powerful data validation library with Applicative and Monad interface.☆18Jan 27, 2026Updated 9 months ago
- Supervised Session Actors☆22Jul 6, 2016Updated 10 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 9 years ago
- Embedded C code generation DSL for Haskell.☆29Mar 25, 2019Updated 7 years ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 7 months ago
- Haskell Formlets☆24Dec 22, 2010Updated 15 years ago