#
fullkomnun
Follow
Starred repositories
A modular typescript implementation of ERC4337 (Account Abstraction) bundler client.
A zkVM for Decentralized Private Computations (DPC)
Comparing the Poseidon hash result on provable SDK and a Leo program
The ultimate TypeScript environment for Circom development
An index repository with submodules for different examples of Certora projects
The Chainlink CCIP Local Simulator, visit documentation by clicking the link below:
The code of Aave protocol subgraphs
A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)
A Decentralized Operating System for ZK Applications
Foundry library for deploying and managing upgradeable contracts
Instagram Ai Agent 🌸 is built using Node.js and TypeScript 🛠️, designed for seamless job execution 📸. It's lightweight, efficient, and still evolving 🚧—exciting new features coming soon! 🌟
Code review powered by LLMs (OpenAI GPT4, Sonnet 3.5) & Embeddings ⚡️ Improve code quality and catch bugs before you break production 🚀 Lives in your Github/GitLab/Azure DevOps CI
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Smart Contracts for secure Blockchain Identities, implementation of the ERC734 and ERC735 proposal standards.
Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.
A Jest transformer with source map support that lets you use Jest to test projects written in TypeScript.
Mono repository of Token Bridge (Oracle, Deployment, Monitor). TokenBridge is an interoperability solution between EVM-based networks for assets/data cross chain transfers