[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
Sorting:
- OpenAI node support for MCPX☆16Jul 28, 2025Updated 7 months ago
- Secure PasteBin for Google App Engine☆35Mar 11, 2014Updated 12 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Updated this week
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- GO GO EXPERIMENTAL LAB☆17Feb 15, 2026Updated last month
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- automatic visual data explorer for datasette☆14Apr 20, 2023Updated 2 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Privacy preserving machine learning for small molecule data☆13Mar 2, 2026Updated 2 weeks ago
- Feature set algebra for linguistics☆17Jan 19, 2026Updated 2 months ago
- Homebrew tap for GAP☆15Oct 20, 2025Updated 5 months ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 8 years ago
- A Git mirror of Mark Atwood’s rem2ics project.☆10Apr 25, 2010Updated 15 years ago
- Copy and modify plain text files between devices without templates or symlinks☆18Jan 25, 2026Updated last month
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Implementation of various equivariant models in JAX☆12Apr 12, 2024Updated last year
- Haskell bindings to the Java Native Interface☆38Oct 10, 2016Updated 9 years ago
- Generate Entity-Relationship Diagrams for Postgresql Databases☆13Apr 7, 2025Updated 11 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
- 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
- Coding exercises to sharpen our skills☆10May 21, 2019Updated 6 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- A barebones web-based imitation of nvALT, written in Svelte and backed by RxDB☆16Aug 22, 2022Updated 3 years ago
- ☆12Jul 17, 2020Updated 5 years ago
- Web server infrastructure for Standard ML☆16Feb 14, 2026Updated last month
- 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
- Multiple comint histories☆18Feb 5, 2026Updated last month
- Finite lazy enumerators in OCaml☆21Oct 19, 2018Updated 7 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Implementation of maps of integers with Patricia trees☆22Sep 4, 2020Updated 5 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- ☆14Feb 11, 2026Updated last month
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 3 months ago
- Helm plugin for install charts from Github Releases☆14Jul 25, 2023Updated 2 years ago
- Simple program that reads .env file and use it to run given command☆10Mar 5, 2023Updated 3 years ago
- iOS, macOS, and visionOS app to browse the tvOS 15 screensavers☆10May 4, 2024Updated last year