A desktop app companion to the UCM CLI
☆68Feb 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for ucm-desktop
Users that are interested in ucm-desktop are comparing it to the libraries listed below
Sorting:
- Official Unison extension for Visual Studio Code☆23Jan 28, 2026Updated last month
- Nix support for the Unison programming language☆70Feb 9, 2026Updated 3 weeks ago
- Flexible generic codecs for purescript-argonaut☆16Jun 25, 2017Updated 8 years ago
- Menhir polishing toolbox, for experienced druids☆38Feb 16, 2026Updated 2 weeks ago
- high-powered optics in a small package☆53Sep 22, 2025Updated 5 months ago
- Shared design system and core components for Unison Local and Unison Share☆26Feb 26, 2026Updated last week
- Render Elm modules as Astro components☆50Dec 14, 2025Updated 2 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Unison Share's backend server☆31Feb 17, 2026Updated 2 weeks ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 4 months ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- OCaml notebooks as a WebComponent☆47Oct 4, 2025Updated 5 months ago
- Additional color handling for Elm☆13Mar 7, 2019Updated 6 years ago
- Unicode-aware Base64 encoding and decoding☆15May 2, 2022Updated 3 years ago
- UNIX is my IDE and Neovim my Emacs☆13Jun 12, 2025Updated 8 months ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- The UI for Unison Share☆34Feb 26, 2026Updated last week
- A curated collection of the awesome work the Caravan Community is doing☆12Feb 13, 2024Updated 2 years ago
- OpenAPI package for Elm☆28Jan 13, 2026Updated last month
- A CLI tool for generating Elm modules from Open API specs.☆30Feb 27, 2026Updated last week
- OCaml client for NATS, the cloud native messaging system.☆17Nov 26, 2024Updated last year
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Extract a slice of your production database to reproduce bugs locally. Point dbslice at a record, it follows foreign keys and gives you a…☆103Updated this week
- 📚 A library for managing libraries and resolving unit paths☆17Nov 21, 2025Updated 3 months ago
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆18Feb 24, 2026Updated last week
- ☆17Apr 4, 2024Updated last year
- Manifest manifold models with magical machinations.☆38Oct 26, 2025Updated 4 months ago
- A modern, idiomatic web framework for Riot☆18Dec 29, 2023Updated 2 years ago
- 🩺 A library for compiler diagnostics☆52Nov 21, 2025Updated 3 months ago
- ☆19Apr 23, 2022Updated 3 years ago
- For Jar artifacts☆20Nov 8, 2025Updated 3 months ago
- An optimized and optimal way of dumping your json compatible data from markdown data store content☆16Feb 21, 2024Updated 2 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- ☆23May 25, 2025Updated 9 months ago