[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☆16Jul 28, 2025Updated last year
- automatic visual data explorer for datasette☆14Apr 20, 2023Updated 3 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- GO GO EXPERIMENTAL LAB☆18Feb 15, 2026Updated 5 months ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Jul 31, 2026Updated last week
- A rate limiting store for express-rate-limit with Memcached☆14Updated this week
- Lookup and load installed OCaml modules☆17Jun 16, 2026Updated last month
- Copy and modify plain text files between devices without templates or symlinks☆18Jun 15, 2026Updated last month
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Generate Entity-Relationship Diagrams for Postgresql Databases☆13Mar 23, 2026Updated 4 months ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 4 months 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- A small C helper library for storing sets of IPv4 and IPv6 addresses☆10Apr 16, 2022Updated 4 years ago
- ☆12Jul 17, 2020Updated 6 years ago
- Web server infrastructure for Standard ML☆16Feb 14, 2026Updated 5 months ago
- A barebones web-based imitation of nvALT, written in Svelte and backed by RxDB☆16Aug 22, 2022Updated 3 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 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
- Python library to convert between Remind and iCalendar☆14Mar 15, 2026Updated 4 months ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ocaml SHA 1 and 2 family implementation using a really fast C implementation☆32Jan 23, 2023Updated 3 years ago
- ☆15May 5, 2026Updated 3 months ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆20Apr 1, 2021Updated 5 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 8 months ago
- Bellcore MGR, from version 0.69☆25Feb 26, 2023Updated 3 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- A diagram of my personal infrastructure☆50Feb 22, 2021Updated 5 years ago
- 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
- 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.
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆33Nov 23, 2023Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Jul 29, 2026Updated last week
- A static site generator library for OCaml☆16Oct 6, 2019Updated 6 years ago
- Libraries for reliable manipulation JSON objects.☆23May 6, 2022Updated 4 years ago
- A professional online resume with a single configuration file built on Hugo. Automatically creates a PDF version with GitHub Actions, Net…☆12Dec 31, 2023Updated 2 years ago
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆19Updated this week
- Helm plugin for install charts from Github Releases☆14Jul 25, 2023Updated 3 years ago