Generate a static HTML archive of messages in any combination of streams in a Zulip organization.
☆93Dec 30, 2025Updated 8 months ago
Alternatives and similar repositories for zulip-archive
Users that are interested in zulip-archive are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lightweight linting framework designed for complex applications using a mix of third-party linters and custom rules.☆26Apr 27, 2026Updated 4 months ago
- A collection of GitHub Actions to interact with Zulip.☆31Jul 28, 2026Updated last month
- Jane Street's `ppx_let` repackaged for `npm`☆16Sep 7, 2020Updated 6 years ago
- 🦅 🎲 Roc library for number generation (and more!)☆10Updated this week
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Logic-based meal optimizer☆17Aug 13, 2021Updated 5 years ago
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago
- ocaml ppx to reduce boilerplate from react-intl messages☆13Apr 17, 2026Updated 5 months ago
- An elisp library for working with sub-processes☆18Jan 1, 2026Updated 8 months ago
- Roc platform template (with a Zig host)☆21Updated this week
- ☆13Updated this week
- Json package for Roc☆25Apr 8, 2025Updated last year
- ☆23Feb 15, 2025Updated last year
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆30Dec 17, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Clojure library for deferred namespace loading☆24Apr 29, 2018Updated 8 years ago
- Inert lets you use non-Sync values in Sync context☆16Jul 2, 2019Updated 7 years ago
- DigestBox takes any webpage URL (news article, video link, comment thread, etc.) and gives you just the raw content. It's powered by Arch…☆23Updated this week
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆24Aug 5, 2026Updated last month
- React components that embed raw HTML; syntactic sugar for dangerouslySetInnerHTML☆11Aug 25, 2021Updated 5 years ago
- Tool for cleaning old and redundant backups☆15Sep 8, 2026Updated last week
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆13Sep 19, 2016Updated 10 years ago
- IO independent postgres protocol implementation☆18May 29, 2023Updated 3 years ago
- Execute obsidian commands with short key sequences. For example, 'tp' for 'Toggle Preview' and 'tb' for 'Toggle Sidebar'. Easier to remem…☆43Apr 15, 2023Updated 3 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.
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- A context manager/decorator which extends Django's atomic function with the ability to set isolation level and retries for a given transa…☆63Nov 30, 2025Updated 9 months ago
- Ocaml modular spam filter☆16Sep 16, 2024Updated 2 years ago
- A program launcher for Wayland☆17Jan 15, 2024Updated 2 years ago
- Mirage OS bindings for ESP32☆28Oct 3, 2019Updated 6 years ago
- Implements a compositional algorithm for computing shortest paths on weighted graphs☆13Sep 1, 2023Updated 3 years ago
- Sort-friendly URI Reordering Transform (SURT) python module☆47Sep 11, 2025Updated last year
- Bazam.org is Shazam for books! Find any book by context, keyword, or id☆10Jan 28, 2021Updated 5 years ago
- Fermat's Last Theorem for regular primes☆69Sep 4, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Topos theory in lean☆65Jan 6, 2021Updated 5 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 4 years ago
- crowd-defunding☆10Jul 4, 2026Updated 2 months ago
- "Easy" data dump of your activity on various web services☆14Dec 7, 2022Updated 3 years ago
- 📈 All data from my life — location, health, work, play, and more — open sourced☆14Jul 5, 2022Updated 4 years ago
- Flake workspace / repo to stage and track Nixpkgs/NixOS's ability to be compiled completely with LLVM☆31Mar 3, 2025Updated last year
- A flake providing a framework for steamlined declarative management of NixOS containers and VMs☆24Sep 11, 2026Updated last week