Lists (11)
Starred repositories
Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
🍯 T-Pot - The All In One Multi Honeypot Platform 🐝
24 Lessons, 12 Weeks, Get Started as a Web Developer
Master programming by recreating your favorite technologies from scratch.
A curated list of awesome ATProto resources
Open Source Vulnerability Management Platform
An extremely fast Python package and project manager, written in Rust.
Cryptographic signature algorithms: DSA, ECDSA, Ed25519
Interactive formal verification tool for Yul programs
Executable formal model of the EVM and Yul in Lean 4.
A curated list of awesome ZK resources, libraries, tools and more.
A series of mini-projects used to learn C for beginners
Smart contract audit skills roadmap for beginners, auditors, engineers, etc.
This project is a collection of Web3 tools to make it easier for developers to encode, decode, and convert EVM friendly values.
👤 Identity and Access Management knowledge for cloud platforms
Bandit is a tool designed to find common security issues in Python code.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
The open source, cloud native tool for API Mocking and Testing. Microcks is a Cloud Native Computing Foundation sandbox project 🚀
Simple and rapid framework to build workflows with Celery
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts