hussein-aitlahcen's repositories
cosmwasm-vm
Moved to https://github.com/ComposableFi/cosmwasm-vm
.spacemacs.d
Personnal Spacemacs configuration
composable
Infrastructure for cross-chain applications
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Game-Client-Tools
Several tools for game clients (Blizzard) reverse engineering.
gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
gnark-lean-extractor
A tool to extract gnark circuits defined in Go to Lean for formal verification.
open-runtime-module-library
Substrate Open Runtime Module Library
purescript-backend-optimizer
Optimizing backend toolkit and modern ECMAScript backend for PureScript
sei-tendermint
Tendermint fork with ABCI++ support, bug fixes, and custom features
yui-ibc-solidity
IBC in Solidity