Trusted Timestamping Framework for Scientific Research
☆16Sep 23, 2025Updated last year
Alternatives and similar repositories for timestamping
Users that are interested in timestamping are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learn Lean 4 by fixing 70 small exercises, one at a time☆27Sep 8, 2026Updated last month
- ☆12Apr 23, 2026Updated 5 months ago
- ☆14Apr 14, 2025Updated last year
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 9 months ago
- Key Transparency Auditor for Signal☆18May 28, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A list of resources to help learn Java☆12Mar 31, 2023Updated 3 years ago
- Gneto is a personal HTTP proxy for the Gemini protocol☆10Jul 5, 2021Updated 5 years ago
- Rust API for Chrony's control & monitoring interface☆14Apr 18, 2025Updated last year
- Egsam - Gemini client tester☆15Mar 11, 2021Updated 5 years ago
- Backup zfs snapshots to S3.☆14Oct 7, 2020Updated 6 years ago
- Restoring some of my older tools to the web☆14Oct 18, 2024Updated 2 years ago
- A WPF-based application to explore Cryptographic Service Providers (CSP) and Key Storage Providers (KSP), their algorithms and persistent…☆15Sep 28, 2022Updated 4 years ago
- Test Vectors for SCMS Implementation☆11Nov 14, 2017Updated 8 years ago
- ☆18Dec 8, 2025Updated 10 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.
- Implementation of libsodium's secretstream in Go☆22Sep 11, 2026Updated last month
- A no-std, panic-never, heapless, reliability-focused UDP/IP stack for bare-metal.☆14Dec 8, 2025Updated 10 months ago
- A proof-of-concept port of uxn to the STM32duino environment☆12Nov 2, 2021Updated 4 years ago
- PowerShell module to support pinning items to the Taskbar and Start Menu☆13Jan 17, 2023Updated 3 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Hotglue Content Manipulation System☆14Oct 19, 2019Updated 7 years ago
- Collection of ISE Menu Add-Ons that I have written☆14Jul 20, 2016Updated 10 years ago
- An explainer to propose how the WebCrypto API can be extended to support Hardware Backed keys☆23Jun 6, 2025Updated last year
- Encode random bitstrings as pseudo-random poems☆13Jun 15, 2014Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Prevention-focused living-off-the-land testing framework mapped to MITRE ATT&CK.☆29Jul 24, 2026Updated 2 months ago
- estimate the accuracy of a clock from a sound recording☆19Apr 15, 2025Updated last year
- A pure-Rust implementation of Curve41417☆16Aug 28, 2015Updated 11 years ago
- A collection of Windows scripts I've found useful☆15Oct 7, 2026Updated last week
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 11 years ago
- A simple reliability layer for UDP-based protocols☆16May 29, 2020Updated 6 years ago
- Linux Comodular Realtime Interactive Computation Engine☆26Aug 15, 2025Updated last year
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆19Updated this week
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Oct 5, 2026Updated 2 weeks ago
- AI Agents on 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.
- A collection of useful scripts to increase productivity.☆13Jul 20, 2021Updated 5 years ago
- Scripts to find fonts on computers☆15Jan 15, 2014Updated 12 years ago
- Files and Tools associated with Practical Social Engineering (2020) (c) NoStarch Press and Joe Gray☆28May 2, 2022Updated 4 years ago
- i summarize found scripts here☆15Jun 24, 2026Updated 3 months ago
- auth and typed api helpers for mummy☆22Sep 10, 2026Updated last month
- 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
- Declarative PostgreSQL role graph manager. Define roles, memberships, object privileges, and default privileges in YAML.☆26Updated this week