naji1368's repositories
aleo-explorer
Open source explorer for the Aleo network
aleo-prover
Light standalone prover
arecibo
An advanced fork of Nova
bellman
zk-SNARK library.
DependencyCheck
OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.
DimDoors
A rewrite of the classic mod: Dimensional Doors
DynamicTrees
Minecraft Forge mod providing dynamic trees that progressively grow from seed to maturity.
electron
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
eslint
Find and fix problems in your JavaScript code.
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
fe
Emerging smart contract language for the Ethereum blockchain.
fhe.rs
Fully Homomorphic Encryption library in Rust
Forbidden-Arcanus
Forbidden & Arcanus Mod Github
gc-arena
Incremental garbage collection from safe Rust
joystream
Joystream Monorepo
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
pdf.js
PDF Reader in JavaScript
polymorph
Minecraft Mod: No more recipe conflicts! Adds an option to choose the crafting result if more than one is available.
pydantic
Data validation using Python type hints
RepurposedStructures
Reusing and modifying vanilla structures for extra variety!
scrcpy
Display and control your Android device
selenium
A browser automation framework and ecosystem.
slang
Solidity compiler tooling by @NomicFoundation
sonobe
Experimental folding schemes library
sp1-contracts
Contracts for SP1
upgrade-aquatic
Further upgrades the Update Aquatic with more aquatic additions!