[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:
- Compile wikitext to HTML: wikitext as a templating language.☆16Sep 1, 2026Updated 2 weeks ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 4 months ago
- Telegram-native AI DevOps agent that turns prompts into deployed web services on your own VPS.☆121Jul 5, 2026Updated 2 months ago
- The easiest and quickest tool for adding songs to your Spotify playlists.☆19Nov 22, 2022Updated 3 years ago
- Standard ML (SML) grammar for tree-sitter☆15May 22, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- GO GO EXPERIMENTAL LAB☆18Feb 15, 2026Updated 7 months ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Aug 25, 2026Updated 3 weeks ago
- Feature set algebra for linguistics☆17Jul 7, 2026Updated 2 months ago
- Homebrew tap for GAP☆19Oct 20, 2025Updated 11 months ago
- Lookup and load installed OCaml modules☆17Aug 13, 2026Updated last month
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- 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 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Generate Entity-Relationship Diagrams for Postgresql Databases☆13Mar 23, 2026Updated 5 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆12Jan 5, 2024Updated 2 years ago
- 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 single-file starting point for your Emacs configuration☆18Feb 25, 2025Updated last year
- OCaml library to work with colors on the web☆21Nov 22, 2024Updated last year
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆23Apr 17, 2024Updated 2 years ago
- 🔙 Backward lists for OCaml☆21Jun 19, 2026Updated 3 months ago
- Rbldnsd Rspamd version☆25Sep 8, 2026Updated last week
- 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.
- Web server infrastructure for Standard ML☆15Feb 14, 2026Updated 7 months 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 6 months 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
- Ocaml SHA 1 and 2 family implementation using a really fast C implementation☆32Jan 23, 2023Updated 3 years ago
- Adversarial examples on keras and tensorflow☆12Apr 5, 2017Updated 9 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Aug 31, 2026Updated 2 weeks ago
- Parallel ML benchmark suite☆22Dec 8, 2025Updated 9 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 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.
- 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
- Helm plugin for install charts from Github Releases☆14Jul 25, 2023Updated 3 years ago
- SafeGuardHer is a Women Safety App created by flutter.☆13Dec 21, 2024Updated last year
- Code for the paper "Reactive Exploration to Cope with Non-Stationarity in Lifelong Reinforcement Learning"☆16Jul 4, 2022Updated 4 years ago
- An easy-to-use online Go gaming platform.☆13May 15, 2016Updated 10 years ago
- A simple Docker image to dispatch webhooks☆15Feb 1, 2019Updated 7 years ago
- Olive is a free open source cross-platform graphical front-end for Popeye chess software and more.☆20Aug 3, 2026Updated last month