Browser extension to check and uptate archival of repositories in Software Heritage
☆19Jan 6, 2024Updated 2 years ago
Alternatives and similar repositories for updateswh
Users that are interested in updateswh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DRSource is an extensible, multi-language static analysis tool designed to detect vulnerabilities in source code. It uses a pluggable arc…☆17Mar 5, 2026Updated last month
- Web service to access JSKOS data☆10Mar 20, 2026Updated 3 weeks ago
- Linux security sensor☆21Nov 18, 2025Updated 4 months ago
- Downloads ePayslips from adpworld.de☆18Jun 25, 2025Updated 9 months ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A frontend for the Racket Package Catalog.☆13Feb 7, 2026Updated 2 months ago
- A repository for generating PKP's documentation hub.☆18Updated this week
- ☆15Feb 21, 2026Updated last month
- ☆18Sep 6, 2023Updated 2 years ago
- Beamer template following https://brand.suse.com☆25Jan 25, 2024Updated 2 years ago
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 2 weeks ago
- Intelligent APIs for a more connected web: https://smart-api.info☆23Feb 9, 2026Updated 2 months ago
- Publicly-accessible matrix client for building open communities.☆18Oct 15, 2025Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bad link reporter for GitHub repositories☆13Mar 25, 2024Updated 2 years ago
- ☆12Oct 2, 2017Updated 8 years ago
- Folds captured output sections in Travis CI build log☆14Dec 13, 2022Updated 3 years ago
- Deprecated. Use https://github.com/lexi-lambda/racket-pvector instead.☆11Dec 6, 2015Updated 10 years ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Send a mail in OCaml☆17Jun 5, 2020Updated 5 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆60Oct 2, 2014Updated 11 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆53Jul 17, 2024Updated last year
- A very little language☆16Jul 1, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- JSON Schema Adventures☆17Mar 13, 2023Updated 3 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- Collaborative bibliography on 'experimental writing' and 'financial crisis' from the Mute archive - http://metamute.org/archive☆10Dec 11, 2022Updated 3 years ago
- Export your Bookmarked Tweets with Flask☆13Sep 29, 2022Updated 3 years ago
- Official Open Build Service Documentation. Content gets reviewed and edited. Generated books are available at http://www.openbuildservice…☆37Mar 31, 2026Updated last week
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- ☆14Aug 19, 2025Updated 7 months ago
- Tools for TICCL☆14Dec 12, 2025Updated 4 months ago
- A modular, privacy-minded translation extension for browsers☆28Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- LibreOffice Starter Extension☆37Nov 14, 2018Updated 7 years ago
- WhatsDown: An Arcane Chat fork for Android with Modern UI and several improvement☆18May 5, 2025Updated 11 months ago
- https://www.huorong.cn/☆15Apr 16, 2024Updated last year
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- ☆43Feb 22, 2024Updated 2 years ago
- A database migration tool written in Racket.☆18Dec 31, 2025Updated 3 months ago
- The documentation for Pyret.☆10Mar 29, 2026Updated 2 weeks ago