Source and build products for the Debugging Teams book
☆18Jul 16, 2026Updated 3 months ago
Alternatives and similar repositories for debuggingteams
Users that are interested in debuggingteams are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- list files and git status in a repository☆10Jun 11, 2026Updated 4 months ago
- It's a very simple git server with s3 backend storage☆14Oct 16, 2025Updated last year
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated last year
- Nix cache daemon☆20Mar 25, 2024Updated 2 years ago
- HTTP on FPGA☆11Apr 26, 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.
- List UEFI Configuration Tables☆16May 23, 2024Updated 2 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated last year
- create sandbox to run untrusted code☆14Feb 5, 2026Updated 8 months ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- HPKE implementation for Zig.☆18May 19, 2026Updated 5 months ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- Security findings remediation tooling☆11Jul 16, 2025Updated last year
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Pure Rust firmware for 37c3 logo animation (waveshare-rp2040-zero with 128x64 oled screen - i2c sda: gpio14, scl: gpio15)☆11Dec 3, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Dec 14, 2023Updated 2 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 6 months ago
- A simple cache system for mmap in OCaml☆14Jan 21, 2026Updated 9 months ago
- An assorted collection of GDB scripts.☆12Dec 7, 2018Updated 7 years ago
- Intel Hardware Feedback Interface (HFI) and Intel Thread Director (ITD) Tool for Linux☆12Oct 7, 2026Updated 3 weeks ago
- ☆14Sep 25, 2026Updated last month
- Information and notification of new discovered bluetooth devices☆11Apr 2, 2024Updated 2 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- i.MX (8) specific Linux kernel, u-boot bootloader, firmware, etc packaged in Nix for NixOS☆11Aug 3, 2023Updated 3 years 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.
- Protobuf with pizzazz☆20Sep 9, 2024Updated 2 years ago
- Dealing with Flags and Options☆13Sep 10, 2021Updated 5 years ago
- Financial models for computers☆18May 29, 2026Updated 5 months ago
- ☆10Sep 29, 2024Updated 2 years ago
- OCaml PPX deriver that generates converters between regular or polymorphic variants and strings☆11Jul 2, 2026Updated 3 months ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- Software, build flows and examples for the Sonata System☆15Sep 4, 2026Updated last month
- ☆11Nov 18, 2025Updated 11 months ago
- A plugin for Ghidra for automatic analysis of the binding of individual registers and their layouts.☆17Dec 18, 2025Updated 10 months 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.
- A rust crate that provides the usual logger macros and either forwards them to the `log` or `defmt` crate, depending on the enabled featu…☆14Oct 29, 2025Updated last year
- Rust tools for working with UEFI SBAT☆20Oct 7, 2026Updated 3 weeks ago
- slightly-revived and hacked fork of the old noah (NOvel Archicture Hypervisor?) project for using linux vendor tools on macos☆19May 9, 2022Updated 4 years ago
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- work in progress, playing around with btor2 in rust☆16Updated this week
- Reimplementation of libdetectcoll in Go☆19Mar 6, 2017Updated 9 years ago