A collection of helpers for reproducible images
☆15Aug 24, 2026Updated 2 months ago
Alternatives and similar repositories for repro-build
Users that are interested in repro-build are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HDR UK Schemas☆12Feb 5, 2024Updated 2 years ago
- SciLifeLab Serve is a platform offering machine learning model serving, data science app hosting (Shiny, Gradio, Streamlit, Dash, etc.), …☆16Updated this week
- ☆12Apr 23, 2026Updated 6 months ago
- ☆14Apr 14, 2025Updated last year
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated last week
- 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.
- Learn Lean 4 by fixing 70 small exercises, one at a time☆27Sep 8, 2026Updated last month
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Updated this week
- Trusted Timestamping Framework for Scientific Research☆16Sep 23, 2025Updated last year
- Jackson nested property filter that performs with almost no overhead☆11Nov 18, 2016Updated 9 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 9 months ago
- Compositional Verification of Security Protocols☆37Updated this week
- Key transparency server☆37Updated this week
- Key Transparency Auditor for Signal☆18Updated this week
- Classic Battle.net and Classic Blizzard Games Packet Dissector for Wireshark☆15Feb 6, 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.
- Like Keybase but distributed☆54Aug 29, 2023Updated 3 years ago
- C++ library to work with JWT☆12Nov 19, 2025Updated 11 months ago
- go api library☆10Aug 16, 2021Updated 5 years ago
- Django Code for the Webpage☆11Jan 26, 2025Updated last year
- Given a buildinfo file from a Debian package, generate instructions for attempting to reproduce the binary packages built from the associ…☆18Sep 24, 2022Updated 4 years ago
- ☆18Dec 8, 2025Updated 10 months ago
- A free non-credit course titled Blockchain and Cryptocurrencies. The lectures will be once a week and ran by B@C officers, industry leade…☆19Nov 10, 2018Updated 7 years ago
- 🔎 Fast, local search across the CS research literature, with an expressive query language, an interactive TUI, and scriptable output.☆28Sep 18, 2026Updated last month
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Jul 21, 2026Updated 3 months ago
- My own implementation of Bad Apple on the Gameboy Advance.☆11Nov 12, 2022Updated 3 years ago
- An explainer to propose how the WebCrypto API can be extended to support Hardware Backed keys☆23Jun 6, 2025Updated last year
- A WebExtension to close tabs to the right of the selected one.☆18Mar 17, 2023Updated 3 years ago
- Playwright-compatible functional testing library for k6☆16Oct 16, 2026Updated last week
- Transparenzreport☆11May 31, 2022Updated 4 years ago
- Exposes git repository information to prompts.☆13Updated this week
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 11 years ago
- Firefox addon to Copy Link Address with accesskey "a"☆13Nov 27, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Oct 5, 2026Updated 2 weeks ago
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆19Updated this week
- QubesOS dom0 automation in Python☆13Aug 3, 2017Updated 9 years ago
- Forward GPG agent socket into a container☆10Nov 30, 2017Updated 8 years ago
- ☆17Feb 13, 2017Updated 9 years ago
- Warcraft 3 game hosting bot☆27Apr 27, 2021Updated 5 years ago
- Open CC BY 4.0 community census of coil whine for GPUs, PSUs, and AIO pumps — per-model severity distributions, never verdicts. Powers th…☆20Oct 2, 2026Updated 3 weeks ago