☆14Oct 14, 2026Updated 2 weeks ago
Alternatives and similar repositories for devproof-audits-guide
Users that are interested in devproof-audits-guide are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Sep 23, 2026Updated last month
- ChatGPT can solve Jeopardy! clues really well!☆10Mar 27, 2023Updated 3 years ago
- Code and Dataset for Paper "Towards High-Fidelity CAD Generation via LLM-Driven Program Generation and Text-Based B-Rep Primitive Groundi…☆17Oct 16, 2026Updated last week
- Custom Allocators Talk for CppCon 2025☆16Sep 19, 2025Updated last year
- Java binding to native opus encoder/decoder.☆10Dec 30, 2016Updated 9 years 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.
- Simple frontend site to sort lists subjectively by giving the user comparisons 2 items at a time.☆17Mar 3, 2024Updated 2 years ago
- ☆11Apr 28, 2024Updated 2 years ago
- Experimental Lattice ECP5-driven Data Center Security Communication Module☆23Jul 22, 2024Updated 2 years ago
- ☆19Mar 19, 2026Updated 7 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- OpenNIRScap: An Open-Source, Low-Cost Wearable Near-Infrared Spectroscopy-based Brain Interfacing Cap☆27Mar 14, 2026Updated 7 months ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆12Nov 14, 2024Updated last year
- An app which makes Skynet's decentralised storage cloud accessible for all mobile users.☆12Jun 26, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆25May 3, 2026Updated 5 months ago
- Delightful grep for GitHub☆17Sep 23, 2022Updated 4 years ago
- Experimental runtime reclamation of GB10 display-reserved memory into ordinary Linux RAM, with guarded driver, local signing, and reboot …☆12Updated this week
- A painterly browser shooter: twelve artists, two rival crews, and a paint fight through Van Gogh’s Town.☆16Sep 5, 2026Updated last month
- Technischer Prototyp für das Projekt "Steuerlotse für Senior_innen" von Tech4Germany in Kooperation mit dem BMF.☆17Oct 20, 2022Updated 4 years ago
- Simple password-wallet application based on Intel SGX for linux.☆17May 2, 2020Updated 6 years ago
- An implementation of Deepmind's Promptbreeder.☆23Dec 22, 2023Updated 2 years ago
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Oct 26, 2023Updated 3 years 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 curated list of frontend showcases built by Claude Opus 5.5 — SVG games and animation, Lottie, voxel builds, Three.js / WebGL, websites…☆14Sep 24, 2026Updated last month
- Overcooked! 2 TAS Development Framework☆12Sep 23, 2026Updated last month
- Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)☆25May 19, 2021Updated 5 years ago
- Example signature files for drek.☆12Jan 10, 2018Updated 8 years ago
- ☆29Jul 4, 2024Updated 2 years ago
- ☆16Mar 13, 2026Updated 7 months ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 6 years ago
- A React, TypeScript, and Tailwind template☆13Jul 30, 2025Updated last year
- My custom made meme bot in Discord. This was my first Python Project back in 2023☆24Oct 17, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆27Aug 18, 2026Updated 2 months ago
- keys- 1M context: Inkling-Small-NVFP4 + DSpark + NVFP4 KV on SGLang, sm_121a-optimized on Two DGX Sparks — one-shot agent-executable rec…☆10Aug 17, 2026Updated 2 months ago
- This is the code repository of the Steuerlotse by DigitalService.☆20Jul 23, 2025Updated last year
- Hikari's curated English measured notes on local LLM systems (serving, specdec, training, steering).☆15Jul 29, 2026Updated 3 months ago
- A privacy token inspired by eip7503 that has maximum plausible deniability and a maximum anonymity set by joining public and private stat…☆15Mar 1, 2025Updated last year
- ☆11Feb 13, 2024Updated 2 years ago
- DSpark-style speculative decoding draft head for Qwen3.6-27B AEON: training recipe, paired eval harness, vLLM patches. +11% serve tok/s v…☆15Jul 2, 2026Updated 3 months ago