☆25Mar 13, 2025Updated 11 months ago
Alternatives and similar repositories for arm-asm-notes
Users that are interested in arm-asm-notes are comparing it to the libraries listed below
Sorting:
- ☆25Dec 9, 2024Updated last year
- ☆14Apr 14, 2025Updated 10 months ago
- Rust library for isogeny-based cryptography☆21Feb 25, 2026Updated last week
- Tiny and portable device tree parser, written in C.☆22Jan 27, 2025Updated last year
- Compositional Verification of Security Protocols☆30Feb 19, 2026Updated 2 weeks ago
- Rust library for cryptographic research☆152Dec 27, 2024Updated last year
- ☆23Jul 4, 2025Updated 8 months ago
- MacTok is a research prototype for a one-time anonymous token scheme based on algebraic MACs.☆23Jan 20, 2023Updated 3 years ago
- ☆15Oct 25, 2024Updated last year
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated last year
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last month
- Tool to scrape LinkedIn☆10Mar 16, 2017Updated 8 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- odex crc patcher☆12Sep 28, 2017Updated 8 years ago
- LibreOffice-LilyPond extension☆14Feb 27, 2026Updated last week
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 5 months ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 11 months ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Raccoon Signature Scheme -- Reference Code☆13Jul 12, 2023Updated 2 years ago
- ☆18Jun 6, 2025Updated 9 months ago
- Common MPC Pitfalls☆12Feb 14, 2026Updated 3 weeks ago
- ☆11Dec 10, 2023Updated 2 years ago
- ☆11Feb 8, 2020Updated 6 years ago
- Musically plays LLVM code☆14Updated this week
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- My code and notes for "From Day Zero to Zero Day", a book on vulnerability research by Eugene Lim.☆30Nov 10, 2025Updated 3 months ago
- FN-DSA (Falcon) signature scheme☆49Mar 30, 2025Updated 11 months ago
- Hackable modal text editor for modern terminals☆26Oct 27, 2025Updated 4 months ago
- Unicode character database decoder for OCaml☆17Jan 2, 2026Updated 2 months ago
- ☆15Nov 13, 2025Updated 3 months ago
- ☆17Jul 3, 2024Updated last year
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Updated this week
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated last year
- ☆12Apr 26, 2019Updated 6 years ago
- A Dark theme for VS Code☆13Apr 1, 2021Updated 4 years ago
- Dealing with Flags and Options☆13Sep 10, 2021Updated 4 years ago
- An Architecture for Trustworthy Digital Supply Chain Transparency Services☆18Oct 19, 2025Updated 4 months ago