[mirror] Email-based RSS digest generator
☆23Feb 11, 2025Updated last year
Alternatives and similar repositories for walrss
Users that are interested in walrss are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OpenAI node support for MCPX☆15Jul 28, 2025Updated last year
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Aug 13, 2026Updated 2 weeks ago
- Tool to create TODO tasks from Telegram messages in one tap☆21May 23, 2025Updated last year
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Feature set algebra for linguistics☆17Jul 7, 2026Updated last month
- Homebrew tap for GAP☆18Oct 20, 2025Updated 10 months ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated 2 months ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 4 months ago
- Yet Another URL Shortner☆11Jul 31, 2024Updated 2 years ago
- Execute Bing Search queries from the terminal including Web, News, Related Search, AutoSuggest, and Images. Images are displayed as color…☆13Dec 30, 2022Updated 3 years ago
- OCaml library to work with colors on the web☆21Nov 22, 2024Updated last year
- 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.
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Updated this week
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- An end to end htmx and go-templ template using echo for the web server and mage for deployment.☆53Nov 29, 2025Updated 9 months ago
- Save data from Google Takeout to a SQLite database☆121Sep 6, 2023Updated 2 years ago
- A small C helper library for storing sets of IPv4 and IPv6 addresses☆10Apr 16, 2022Updated 4 years ago
- 🔙 Backward lists for OCaml☆21Jun 19, 2026Updated 2 months ago
- Rbldnsd Rspamd version☆24Feb 3, 2026Updated 6 months ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Jun 5, 2023Updated 3 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 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.
- Finite lazy enumerators in OCaml☆21Oct 19, 2018Updated 7 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- Implementation of maps of integers with Patricia trees☆21Sep 4, 2020Updated 5 years ago
- Opinionated journaling automation like daily notes but with backfills for the days that you didn't open Obsidian.☆25Sep 28, 2025Updated 11 months ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Aug 16, 2026Updated 2 weeks ago
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 8 months ago
- A toy for making geometric art, inspired by Islamic Zellij.☆18Jun 18, 2026Updated 2 months ago
- Podlite specification documents | 🎉 Podlite 2.0 released !☆28Updated this week
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 7 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆17Updated this week
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 4 months ago
- A static site generator library for OCaml☆16Oct 6, 2019Updated 6 years ago
- Helm plugin for install charts from Github Releases☆14Jul 25, 2023Updated 3 years ago
- Basic portable implementation of interprocess locks using file-locking primitives.☆20Sep 22, 2025Updated 11 months ago
- A simple Docker image to dispatch webhooks☆15Feb 1, 2019Updated 7 years ago