Optik is a set of symbolic execution tools that assist smart-contract fuzzers
-
Updated
Sep 3, 2024 - Python
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Turing-complete programming language for writing zero-knowledge proofs (ZKPs)
Library for rendering egyptian hieroglyphic texts.
Lokaler modularer KI-Web-Core für GGUF-Modelle, Memory, Offline-Wiki, Projektwissen, Diagnostik und MAAT-basierte Reflexion.
The 3D Minimalistic Portfolio is a modern project using React.js, Three.js, and TailwindCSS to showcase developer skills. It features interactive 3D elements, smooth animations, and a sleek design for lasting impact. Built with Vite for fast performance and enhanced with tools like GSAP and @react-three/drei.
An android library with a custom TextView for displaying Egyptian hieroglyphs.
To associate your repository with the maat topic, visit your repo's landing page and select "manage topics."