A Tutorial for Ur/Web
☆28Oct 7, 2015Updated 10 years ago
Alternatives and similar repositories for urtutorial
Users that are interested in urtutorial are comparing it to the libraries listed below
Sorting:
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Minimalistic file explorer, written in Haskell.☆18Jan 20, 2019Updated 7 years ago
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- ☆26Jul 18, 2022Updated 3 years ago
- ☆20Jan 16, 2025Updated last year
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Sep 16, 2015Updated 10 years ago
- The Ur/Web programming language☆834May 28, 2024Updated last year
- Dependently Typed Metaprogramming Exercises☆24Feb 9, 2018Updated 8 years ago
- ☆21Oct 17, 2015Updated 10 years ago
- Supervised Session Actors☆22Jul 6, 2016Updated 9 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- Work on modular implicits☆25Oct 23, 2018Updated 7 years ago
- Type safe unit of measure in OCaml with ppx☆29Mar 10, 2016Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- being bits and pieces I'm inclined to leave lying around☆56Jan 22, 2026Updated last month
- 🌳 Generate a fresh bonsai in your terminal☆31Oct 4, 2021Updated 4 years ago
- A Boulder Dash clone in OCaml☆37Jan 31, 2025Updated last year
- Work-in-Progress collection of examples of using MirageOS from OCaml☆22Nov 7, 2017Updated 8 years ago
- Source code for haskle.net☆30Aug 30, 2023Updated 2 years ago
- The Ur/Web People Organizer☆30May 6, 2024Updated last year
- Basic text editor written in Elm☆70Aug 1, 2022Updated 3 years ago
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- Transactional cache with configurable persistence☆45Apr 2, 2023Updated 2 years ago
- MLton for scalable multicore architectures☆59Mar 10, 2014Updated 11 years ago
- An implementation of binary session types in OCaml☆38Jun 3, 2019Updated 6 years ago
- An enhanced core prelude, meant for building up more complete preludes on top of.☆50Dec 5, 2017Updated 8 years ago
- ☆41Feb 17, 2020Updated 6 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- --DEPRECATED--. Use other top level repository under IntellectualHeaven.☆42Jan 30, 2015Updated 11 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- A tiny DSL for HTML5 Canvas☆34May 22, 2019Updated 6 years ago
- Type and doc on hover for OCaml and Reason in emacs☆45Feb 13, 2023Updated 3 years ago
- Library for Standard ML☆55Feb 13, 2012Updated 14 years ago
- A tool to create PDFs that are also OCaml bytecodes☆42Sep 19, 2023Updated 2 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jan 7, 2026Updated last month
- ☆41Apr 29, 2020Updated 5 years ago
- Small python app that should work on OSX and Linux, 'detects' noise in room through microphone and creates a csv file + wav files for eac…☆10Oct 26, 2019Updated 6 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year