🚀 Simplify C project builds with Anvil, a minimal, dependency-free system offering live file watching, custom directories, and easy Makefile generation.

Benchmark and verify LLMs

🔍 Verify data integrity and security easily with HashVerify, a tool for generating and checking cryptographic hash values.

Verification framework and tool for higher-order Scala programs

🚀 Implement Monad's consensus client and JsonRpc server for efficient transaction collection and blockchain state updates.

⚙️ Explore Cadence Virtuoso projects showcasing 45nm CMOS technology in VLSI design, including an 8-bit CPU/ALU and critical circuit analysis.

🔍 Detect leaked credentials in your codebase quickly and effectively with TruffleHog's powerful scanning capabilities.

🤖 Automate failure detection and resolution in integrated circuits and SoC platforms with an AI-driven diagnostic agent for efficient troubleshooting.

🛡️ Create and customize CAPTCHAs easily with ZarcoCaptcha, a powerful Node.js generator that supports multiple formats, colors, and difficulty levels.

End-to-end registration and email verification example using Playwright and Tigrmail. Simplify testing with this clear, practical guide. 🐙✨

This repo contains a collection of Verilog +System Verilog +RTL +UVM Projects

A thesis proposing a Tiered Privacy Framework to combat disinformation and enhance trust on the modern internet

🔍 Optimize your file security with this high-performance cryptographic hash utility, featuring advanced algorithms and SIMD acceleration for rapid processing.

🔄 Migrate large directories with ease using symbolic links and reliable file copying on Windows, all with a simple PowerShell CLI or WPF GUI.

🔍 Explore and implement secure provenance tracking with this template, ensuring project integrity and compliance throughout your development lifecycle.

⚙️ Transform VHDL design processes with vhdl-4hn, a lightweight library that streamlines hardware description and enhances code readability.

🔍 Explore VHDL implementations of GKR protocols for efficient proof systems, enhancing performance in verification and computational tasks.

Ensure the compliance of your Data Package metadata

Source code verification service for Ethereum smart contracts

Java code generator for BPMN and DMN artefacts with integrated verificartion tools