A hash chain has the potential to be a limited source of authentication
☆15Feb 20, 2022Updated 4 years ago
Alternatives and similar repositories for hashchain
Users that are interested in hashchain are comparing it to the libraries listed below
Sorting:
- An incomplete arbitrary-precision integer arithmetic library☆14Feb 24, 2022Updated 4 years ago
- 戰時網路模擬器☆16Nov 4, 2023Updated 2 years ago
- Ultra light weight Data Mesh☆25Sep 12, 2023Updated 2 years ago
- A lightweight echo server implementation in Linux kernel mode☆32Jun 24, 2025Updated 8 months ago
- A simple gameboy (LR35902) emulator based on rvemu☆29Mar 21, 2021Updated 4 years ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆12Mar 13, 2025Updated 11 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ansible playground with multipass vm for macOS☆10Nov 1, 2022Updated 3 years ago
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- KiCAD Design files for the India Navi device☆10Oct 28, 2021Updated 4 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 10 months ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- ☆14Apr 24, 2024Updated last year
- vSphere metrics plugin for collectd☆11Feb 12, 2019Updated 7 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- ☆12May 9, 2015Updated 10 years ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- ☆13Mar 2, 2015Updated 11 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Binaryen bindings for Racket☆11Oct 20, 2021Updated 4 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- ☆12Jun 7, 2024Updated last year
- ☆12May 21, 2021Updated 4 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Dec 15, 2025Updated 2 months ago