pchapin/thumper external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

pchapin/thumper

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/pchapin/thumper)

Close

pchapin / thumperView on GitHubMore

• External links
• Readme badge

A secure timestamp client/server

☆23May 16, 2022Updated 3 years ago

Alternatives and similar repositories for thumper

Users that are interested in thumper are comparing it to the libraries listed below

• damaki / libkeccak

  View on GitHub
  SHA-3 and other Keccak related algorithms in SPARK/Ada.
  ☆37Oct 19, 2023Updated 2 years ago
• samueltardieu / aforth

  View on GitHub
  Embeddable Forth interpreter written in Ada
  ☆28Sep 20, 2015Updated 10 years ago
• alice-adventures / Alice

  View on GitHub
  Adventures for Learning and Inspiring Coding Excellence
  ☆14Aug 24, 2025Updated 6 months ago
• dbi-beam / dbi

  View on GitHub
  Erlang and Elixir DataBase Interface
  ☆16Aug 17, 2018Updated 7 years ago
• Roldak / AGC

  View on GitHub
  Garbage collection for Ada
  ☆12Jan 15, 2023Updated 3 years ago
• starbelly / soda

  View on GitHub
  Libsodium bindings for Erlang
  ☆16Apr 1, 2020Updated 5 years ago
• alire-project / clic

  View on GitHub
  Command Line Interface Components
  ☆14Feb 17, 2024Updated 2 years ago
• HeisenbugLtd / Saatana

  View on GitHub
  A cryptographic framework, proven for correctness in SPARK
  ☆15Dec 16, 2024Updated last year
• mierl / ZHT

  View on GitHub
  ZHT is back and updated, enjoy!
  ☆44Jun 21, 2016Updated 9 years ago
• flavioc / cl-meld

  View on GitHub
  Meld compiler written in Common Lisp
  ☆13Nov 20, 2015Updated 10 years ago
• gootik / rebar_cmd

  View on GitHub
  A rebar plugin for running custom commands
  ☆16Jun 14, 2021Updated 4 years ago
• simonjwright / ews

  View on GitHub
  The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …
  ☆22Aug 19, 2022Updated 3 years ago
• persan / zeromq-Ada

  View on GitHub
  Ada-bindings for 0mq
  ☆42Nov 17, 2025Updated 3 months ago
• flavioc / meld

  View on GitHub
  Meld virtual machine.
  ☆28Nov 20, 2015Updated 10 years ago
• AdaCore / Ada-IntelliJ

  View on GitHub
  Support for Ada and SPARK languages in IntelliJ IDEA
  ☆22Oct 17, 2022Updated 3 years ago
• dnsimple / dnsimple-developer

  View on GitHub
  The DNSimple API Documentation.
  ☆39Updated this week
• AdaCore / cuda

  View on GitHub
  ☆21Sep 10, 2024Updated last year
• nathanielherman / sto

  View on GitHub
  Software Transactional Objects
  ☆21Feb 9, 2018Updated 8 years ago
• cubesatlab / cubedos

  View on GitHub
  A flight software framework in SPARK/Ada
  ☆56Nov 17, 2025Updated 3 months ago
• stcarrez / ada-ado

  View on GitHub
  Ada Database Objects
  ☆28Dec 16, 2025Updated 2 months ago
• AdRoll / spillway

  View on GitHub
  An Erlang OTP application for load shedding
  ☆26May 16, 2025Updated 9 months ago
• RavSS / HAVK

  View on GitHub
  An attempt at a minimalistic and secure operating system.
  ☆27May 28, 2021Updated 4 years ago
• AdaCore / training_material

  View on GitHub
  ☆32Updated this week
• ocurrent / current-bench

  View on GitHub
  Experimental benchmarking infrastructure using OCurrent pipelines
  ☆33Feb 28, 2025Updated last year
• aryx / fork-kencc

  View on GitHub
  DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆31Feb 10, 2026Updated 3 weeks ago
• thitemple / real-world-fable

  View on GitHub
  A Single Page Application written in F# using Fable and Elmish.
  ☆29Mar 2, 2023Updated 3 years ago
• rod-chapman / SPARKNaCl

  View on GitHub
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆131Mar 17, 2025Updated 11 months ago
• AdaCore / ada-spark-rfcs

  View on GitHub
  Platform to submit RFCs for the Ada & SPARK languages
  ☆69Updated this week
• AntidoteDB / antidote_crdt

  View on GitHub
  CRDT implementations to use with Antidote
  ☆36May 27, 2022Updated 3 years ago
• balidani / gcnasm

  View on GitHub
  GCN ISA assembler tool for my GSoC project at Openwall
  ☆35Jan 4, 2016Updated 10 years ago
• livro-aberto / ensino_medio

  View on GitHub
  Coleção do Ensino Médio - Livro Aberto de Matemática
  ☆12May 18, 2023Updated 2 years ago
• Retropex / knots-startos

  View on GitHub
  wrapper for building bitcoind.s9pk
  ☆11Feb 23, 2026Updated last week
• alire-project / ada_spark_workflow

  View on GitHub
  A demo of best practices for open-source Ada/SPARK development
  ☆40Oct 26, 2024Updated last year
• AdaCore / gnatcoverage

  View on GitHub
  GNATcoverage: Coverage Analysis Tool
  ☆46Updated this week
• mike-goodwin / owasp-threat-dragon-core

  View on GitHub
  OWASP Threat Dragon core files
  ☆11Jan 26, 2026Updated last month
• PanPapag / Chord-P2P-Simulation

  View on GitHub
  A Scalable Peer-to-peer Lookup Protocol for Internet Applications
  ☆10Dec 17, 2022Updated 3 years ago
• baidu / minions

  View on GitHub
  Baidu 100G Chasiss Switch hardware spec
  ☆12Sep 20, 2017Updated 8 years ago
• round5 / code

  View on GitHub
  Code of Round5
  ☆11May 4, 2020Updated 5 years ago
• KineticCafe / marlowe

  View on GitHub
  Marlowe makes it easier to trace a request through all of your application logs
  ☆10Feb 27, 2024Updated 2 years ago